Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software.
Create your slides in Markdown - click the Slides button to check out the example.
Supplementary notes can be added here, including code, math, and images.
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.