4 citations · 4 across the 9 of their papers we have counts for
9 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…
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…
Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
We claim that LLMs can be paired with formal analysis methods to provide accessible, relevant feedback for HRI tasks. While logic specifications are useful for defining and assessi…
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
The workforce will need to continually upskill in order to meet the evolving demands of industry, especially working with robotic and autonomous systems. Current training methods a…
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…
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
This paper leverages the statistics of extreme values to predict the worst-case convergence times of machine learning algorithms. Timing is a critical non-functional property of ML…