4 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…
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…
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…