One paper accepted for presentation at IEEE Int'l Conf. on Robotics and Automation (ICRA), 2022. Click Here for details!
Paper Title: Let’s Colloaborate: Reactive Synthesis for Robotic Manipulators using Regret Games.
Karan Muvvala
Graduate Research Assistant
Building safer and smarter robots using Game-theoretic approaches while leveraging techniques developed by the Formal methods community to provide safety-critical guarantees.