38 citations · 87 across the 7 of their papers we have counts for
7 papers
Online and Offline Learning of Player Objectives from Partial Observations in Dynamic Games
Lasse Peters, Vicenç Rubies-Royo, Claire J. Tomlin +4
Robots deployed to the real world must be able to interact with other agents in their environment. Dynamic game theory provides a powerful mathematical framework for modeling scena…
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Kai-Chieh Hsu, Vicenç Rubies-Royo, Claire J. Tomlin +1
Reach-avoid optimal control problems, in which the system must reach certain goal conditions while staying clear of unacceptable failure modes, are central to safety and liveness a…
Inferring Objectives in Continuous Dynamic Games from Noise-Corrupted Partial State Observations
Lasse Peters, David Fridovich-Keil, Vicenç Rubies-Royo +2
Robots and autonomous systems must interact with one another and their environment to provide high-quality services to their users. Dynamic game theory provides an expressive theor…
An Iterative Quadratic Method for General-Sum Differential Games with Feedback Linearizable Dynamics
David Fridovich-Keil, Vicenc Rubies-Royo, Claire J. Tomlin
Iterative linear-quadratic (ILQ) methods are widely used in the nonlinear optimal control community. Recent work has applied similar methodology in the setting of multiplayer gener…
Fast Neural Network Verification via Shadow Prices
Vicenc Rubies-Royo, Roberto Calandra, Dusan M. Stipanovic +1
To use neural networks in safety-critical settings it is paramount to provide assurances on their runtime operation. Recent work on ReLU networks has sought to verify whether input…
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets
Anayo K. Akametalu, Shromona Ghosh, Jaime F. Fisac +1
We propose a novel formulation for approximating reachable sets through a minimum discounted reward optimal control problem. The formulation yields a continuous solution that can b…
A Classification-based Approach for Approximate Reachability
Vicenc Rubies-Royo, David Fridovich-Keil, Sylvia Herbert +1
Hamilton-Jacobi (HJ) reachability analysis has been developed over the past decades into a widely-applicable tool for determining goal satisfaction and safety verification in nonli…