Michael Livesay and Blake Rawlings SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate and Morteza Lahijanian Uncertain MDP Abstractions of Nonlinear Stochastic Systems With Unknown Disturbances
Behrad Samari, Amy Nejati and Abolfazl Lavaei Certified Model Order Reduction from Data
Jordan Peper and Ivan Ruchkin Probabilistic Perception Contracts for Verification of Vision-Based Autonomy