Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models

16 November 2023

Papers citing "Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models"

5 / 5 papers shown

Title
Analytical Lyapunov Function Discovery: An RL-based Generative Approach Haohan Zou Jie Feng Hao Zhao Yuanyuan Shi 90 0 0 04 Feb 2025
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 19 0 0 27 Oct 2024
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers Alberto Alfarano François Charton Amaury Hayat 23 12 0 10 Oct 2024
Formally Verified Physics-Informed Neural Control Lyapunov Functions Jun Liu Maxwell Fitzsimmons Ruikun Zhou Yiming Meng 29 2 0 30 Sep 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 39 7 0 22 May 2024