Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

2 June 2024

Papers citing "Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates"

4 / 4 papers shown

Title
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 12 4 0 03 Dec 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 192 1,714 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 150 883 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 214 5,361 0 08 Jul 2016