ResearchTrend.AI
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
v1v2 (latest)

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

Alec Edwards
Andrea Peruffo
Alessandro Abate
ArXiv (abs)PDFHTML

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
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
Analytical Lyapunov Function Discovery: An RL-based Generative Approach
Haohan Zou
Jie Feng
Hao Zhao
Yuanyuan Shi
174
0
0
04 Feb 2025

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.