4 papers
Auditable and Deployable Multi-Agent Motion Planning via Posetal Games from Legal Guidelines
Florian Lercher, Karan Mahesh, Yujun Huang +6
When robots are deployed in the real-world, they must interact with other agents and accomplish their own goals while adhering to legal constraints. These potentially conflicting o…
Metric-Based Equilibrium Selection in Noncooperative Differentiable Games
Karan Mahesh, Runyu Zhang, Michael R. Benjamin +1
Metric conditioning can change which equilibrium attracts learning dynamics without moving the equilibria of a differentiable game. We study how to use state-dependent symmetric po…
Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
Karan Mahesh, Tyler M. Paine, Max L. Greene +6
Marine robots must maintain precise control and ensure safety during tasks like ocean monitoring, even when encountering unpredictable disturbances that affect performance. Designi…
Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
Nicholas Rober, Karan Mahesh, Tyler M. Paine +5
Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to di…