4 citations · 4 across the 9 of their papers we have counts for
3 papers · 1 filter
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…