Learning Control Policies for Stochastic Systems with Reach-avoid
Guarantees

Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees

11 October 2022

Mathias Lechner

Papers citing "Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees"

12 / 12 papers shown

Title
Neural Continuous-Time Supermartingale Certificates Grigory Neustroev Mirco Giacobbe Anna Lukina 31 2 0 23 Dec 2024
Neural Model Checking Mirco Giacobbe Daniel Kroening Abhinandan Pal Michael Tautschnig NAI 24 1 0 31 Oct 2024
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties S. Akshay Krishnendu Chatterjee Tobias Meggendorfer Dorde Zikelic 19 1 0 07 May 2024
Piecewise Stochastic Barrier Functions Rayan Mazouz Frederik Baymler Mathiesen Luca Laurenti Morteza Lahijanian 19 4 0 25 Apr 2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems Dapeng Zhi Peixin Wang Si Liu C.-H. Luke Ong Min Zhang 36 5 0 02 Apr 2024
Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales Dapeng Zhi Peixin Wang Cheng Chen Min Zhang 23 0 0 15 Dec 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 25 9 0 03 Dec 2023
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models Alec Edwards Andrea Peruffo Alessandro Abate 8 18 0 16 Nov 2023
Shielded Reinforcement Learning for Hybrid Systems Asger Horn Brorholt P. G. Jensen Kim G. Larsen Florian Lorber Christian Schilling 11 4 0 28 Aug 2023
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions Thom S. Badings Licio Romao Alessandro Abate David Parker Hasan A. Poonawala Marielle Stoelinga N. Jansen 19 36 0 04 Jan 2023
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty Thom S. Badings Licio Romao Alessandro Abate N. Jansen 11 26 0 12 Oct 2022
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems Matin Ansaripour K. Chatterjee T. Henzinger Mathias Lechner Dorde Zikelic 19 4 0 11 Oct 2022