Muvvala, Karan
- Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
2022/06/15 by Rayan Mazouz, Mazouz, Rayan, Karan Muvvala +7 · 5 citations
Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning in Materials Science #Neural Networks and Applications #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stochastic Games for Interactive Manipulation Domains
2024/03/07 by Karan Muvvala, Muvvala, Karan, Andrew M. Wells +7 · 1 citation
Computer Science · #Artificial Intelligence in Games #Computability, Logic, AI Algorithms
- Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
2024/08/23 by Karan Muvvala, Qi Heng Ho, Muvvala, Karan +3 · 1 citation
Business, Management and Accounting · Decision Sciences · #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Consumer Market Behavior and Pricing #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.2.4 #I.2.9 #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Supply Chain and Inventory Management
- Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
2024/10/06 by Muvvala, Karan, Lahijanian, Morteza · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO)