6 papers
Learning specifications for reactive synthesis with safety constraints
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan +1
This paper presents a novel approach to learning from demonstration that enables robots to autonomously execute complex tasks in dynamic environments. We model latent tasks as prob…
Trace Repair for Temporal Behavior Trees
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer +2
We present methods for repairing traces against specifications given as temporal behavior trees (TBT). TBT are a specification formalism for action sequences in robotics and cyber-…
Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
Masoumeh Ghanbarpour, Sriram Sankaranarayanan
We study stochastic systems characterized by difference inclusions. Such stochastic differential inclusions are defined by set-valued maps involving the current state and stochasti…
Synthesizing Min-Max Control Barrier Functions For Switched Affine Systems
Sara Kamali, Guillaume O. Berger, Sriram Sankaranarayanan
We study the problem of synthesizing non-smooth control barrier functions (CBFs) for continuous-time switched affine systems. Switched affine systems are defined by a set of affine…
Best-response Algorithms for Lattice Convex-Quadratic Simultaneous Games
Sriram Sankaranarayanan
We evaluate the best-response (BR) algorithm for lattice convex-quadratic games, where the players have nonlinear objectives and unbounded feasible sets. We provide a sufficient co…
Proximity-based approximation algorithms for integer bilevel programs
Sriram Sankaranarayanan, V. Shubha Vatsalya
We primarily consider bilevel programs where the lower level is a convex quadratic minimization problem under integer constraints. We show that it is -hard to decide if the…