Karan Muvvala

2 papers · 2022–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🌈 Renaissance Researcher (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14)

Conferences

IJCAI (1) NIPS (1)

Top co-authors

Morteza Lahijanian (2) Qi Heng Ho (1) Rayan Mazouz (1) Akash Ratheesh Babu (1) Luca Laurenti (1)

Keywords

convex optimization (1) game theory (1) optimal control (1) dynamic system (1) dynamical system (1) strategy synthesis (1) reachability game (1) neural network (1) safety probability (1) safety certification (1) stochastic barrier function (1) quantitative game (1) admissible strategy (1)

Papers

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games IJCAI 2025

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions NIPS 2022