v1v2 (latest)

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"

2 / 2 papers shown

Title
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation Mohamed Serry H. Li Ruikun Zhou H. Zhang Jun Liu 20 0 0 16 Jun 2025
Analytical Lyapunov Function Discovery: An RL-based Generative Approach Haohan Zou Jie Feng Hao Zhao Yuanyuan Shi 174 0 0 04 Feb 2025