STL Robustness Risk over Discrete-Time Stochastic Processes

STL Robustness Risk over Discrete-Time Stochastic Processes

3 April 2021

George J. Pappas

Papers citing "STL Robustness Risk over Discrete-Time Stochastic Processes"

9 / 9 papers shown

Title
PAC-Bayesian Bound for the Conditional Value at Risk Zakaria Mhammedi Benjamin Guedj Robert C. Williamson 41 21 0 26 Jun 2020
Quantile Multi-Armed Bandits: Optimal Best-Arm Identification and a Differentially Private Scheme Konstantinos E. Nikolakakis Dionysios S. Kalogerias Or Sheffet Anand D. Sarwate 44 11 0 11 Jun 2020
Risk-Averse Planning Under Uncertainty M. Ahmadi M. Ono M. Ingham R. Murray Aaron D. Ames 128 28 0 27 Sep 2019
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications N. Mehdipour C. Vasile C. Belta 32 92 0 12 Mar 2019
Learning an Approximate Model Predictive Controller with Guarantees Michael Hertneck Johannes Köhler Sebastian Trimpe Frank Allgöwer 60 225 0 11 Jun 2018
How Should a Robot Assess Risk? Towards an Axiomatic Theory of Risk in Robotics Anirudha Majumdar Marco Pavone 82 195 0 30 Oct 2017
Synthesis of surveillance strategies via belief abstraction Suda Bharadwaj Rayna Dimitrova Ufuk Topcu 31 25 0 15 Sep 2017
Probabilistic Motion Planning under Temporal Tasks and Soft Constraints Meng Guo Michael M. Zavlanos 30 77 0 16 Jun 2017
On the Robustness of Temporal Properties for Stochastic Models E. Bartocci Luca Bortolussi L. Nenzi G. Sanguinetti 68 59 0 03 Sep 2013