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.
Building safer and smarter robots using Game-theoretic approaches while leveraging techniques developed by the Formal methods community to provide safety-critical guarantees.