75 citations · 280 across the 41 of their papers we have counts for
3 papers · 1 filter
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar +7
A classic reachability problem for safety of dynamic systems is to compute the set of initial states from which the state trajectory is guaranteed to stay inside a given constraint…
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction
Susmit Jha, Sanjit A. Seshia
In this paper, we present an automated technique SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction, which uses a combination of Nelder-Mead optimization bas…
Synthesizing Switching Logic to Minimize Long-Run Cost
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating the conditions for switching between the system modes such that the resulting hybrid sys…