Fetching the paper…
Reading the bibliography…
We investigate the problem of verifying different properties of discrete time dynamical systems, namely, reachability, safety and reach-while-avoid.
A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
Herman Chernoff · 1952
Earlier work this paper cites.
Probability Inequalities for Sums of Bounded Random Variables
Wassily Hoeffding · 1963
Earlier work this paper cites.
Model predictive control: Theory and practice - A survey
Carlos E. Garcia, David M. Prett, and Manfred Morari · 1989
Earlier work this paper cites.
Multilayer feedforward networks are universal approximators
Kurt Hornik, Maxwell B. Stinchcombe, and Halbert White · 1989
Earlier work this paper cites.
Optimization and Nonsmooth Analysis
Frank H. Clarke · 1990
Earlier work this paper cites.
The General Problem of the Stability of Motion
Alexander Mikhailovich Lyapunov · 1994
Earlier work this paper cites.
Sample Compression, Learnability, and the Vapnik-Chervonenkis Dimension
Sally Floyd and Manfred K. Warmuth · 1995
Earlier work this paper cites.
Estimation of the Lipschitz Constant of a Function
Graham R. Wood and B. P. Zhang · 1996
Earlier work this paper cites.
On the Construction of Lyapunov Functions Using the Sum of Squares Decomposition
Antonis Papachristodoulou and Stephen Prajna · 2002
Earlier work this paper cites.
Differential Equations, Dynamical Systems, and an Introduction to Chaos
Morris W. Hirsch, Stephen Smale, and Robert L. Devaney · 2003
Earlier work this paper cites.
Safety Verification of Hybrid Systems Using Barrier Certificates
Stephen Prajna and Ali Jadbabaie · 2004
Earlier work this paper cites.
Stochastic safety verification using barrier certificates
Stephen Prajna, Ali Jadbabaie, and George J. Pappas · 2004
Earlier work this paper cites.
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
Stephen Prajna, Ali Jadbabaie, and George J. Pappas · 2007
Earlier work this paper cites.
The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
Marco C. Campi and Simone Garatti · 2008
Earlier work this paper cites.
A Sampling-and-Discarding Approach to Chance-Constrained Optimization: Feasibility and Optimality
Marco C. Campi and Simone Garatti · 2011
Earlier work this paper cites.
Convex Optimization
Stephen P. Boyd and Lieven Vandenberghe · 2014
Earlier work this paper cites.
Adam: A Method for Stochastic Optimization
Diederik P. Kingma and Jimmy Ba · 2015
Earlier work this paper cites.
On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems
Kostas Margellos, Maria Prandini, and John Lygeros · 2015
Cited alongside, same era.
Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs
Peyman Mohajerin Esfahani, Tobias Sutter, and John Lygeros · 2015
Cited alongside, same era.
Introduction to the Scenario Approach
Marco Campi and Simone Garatti · 2018
Cited alongside, same era.
Wait-and-judge scenario optimization
Marco C. Campi and Simone Garatti · 2018
Cited alongside, same era.
A General Scenario Theory for Nonconvex Optimization and Decision Making
Marco Claudio Campi, Simone Garatti, and Federico Alessandro Ramponi · 2018
Cited alongside, same era.
Control Barrier Functions: Theory and Applications
Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada · 2019
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, and Nils Jansen · 2023
Later among the works it cites.
Compression, Generalization and Learning
Marco C. Campi and Simone Garatti · 2023
Later among the works it cites.
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control
Charles Dawson, Sicun Gao, and Chuchu Fan · 2023
Later among the works it cites.
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, and Majid Zamani · 2023
Later among the works it cites.
The Pick-to-Learn Algorithm: Empowering Compression for Tight Generalization Bounds and Improved Post-Training Performance
Dario Paccagnan, Marco C. Campi, and Simone Garatti · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Neural Lyapunov Control
Ya-Chien Chang, Nima Roohi, and Sicun Gao · 2019
Cited alongside, same era.
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
D. Ahmed, A. Peruffo, and A. Abate · 2020
Cited alongside, same era.
Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems
Hongkai Dai, Benoit Landry, Marco Pavone, and Russ Tedrake · 2020
Cited alongside, same era.
Neural Certificates for Safe Control Policies
Wanxin Jin, Zhaoran Wang, Zhuoran Yang, and Shaoshuai Mou · 2020
Cited alongside, same era.
Learning Certified Control Using Contraction Metric
Dawei Sun, Susmit Jha, and Chuchu Fan · 2020
Cited alongside, same era.
FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates Using Neural Networks
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, and Andrea Peruffo · 2021
Cited alongside, same era.
Model Predictive Control with Reach-avoid Analysis
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, and Bai Xue · 2023
Later among the works it cites.
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Luke Rickard, Thom S. Badings, Licio Romao, and Alessandro Abate · 2023
Later among the works it cites.
On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints
Licio Romao, Antonis Papachristodoulou, and Kostas Margellos · 2023
Later among the works it cites.
Stochastic Omega-Regular Verification and Control with Supermartingales
Alessandro Abate, Mirco Giacobbe, and Diptarko Roy · 2024
Later among the works it cites.
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Alec Edwards, Andrea Peruffo, and Alessandro Abate · 2024
Later among the works it cites.
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
Luke Rickard, Alessandro Abate, and Kostas Margellos · 2024
Later among the works it cites.
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, and Majid Zamani · 2024
Later among the works it cites.
Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, and Changliu Liu · 2024
Later among the works it cites.
Model Checking and Strategy Synthesis with Abstractions and Certificates
Alessandro Abate, Mirco Giacobbe, Diptarko Roy, and Yannik Schnitzer · 2025
Closest in time.
Continuous-time Data-driven Barrier Certificate Synthesis
Luke Rickard, Alessandro Abate, and Kostas Margellos · 2025
Closest in time.
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets, 2025
Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper Van Beers, Coen de Visser, and Alessandro Abate · 2025
Closest in time.