TY  - RPRT
TI  - Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
AU  - Alec Edwards
AU  - Andrea Peruffo
AU  - Alessandro Abate
PY  - 2024
UR  - https://arxiv.org/abs/2311.09793
ID  - 2311.09793
ER  -