An extended abstract got accepted at RSS 2022 Workshop on Risk-aware Decision Making

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.