TY  - RPRT
TI  - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
AU  - Alec Edwards
AU  - Andrea Peruffo
AU  - Alessandro Abate
PY  - 2024
UR  - https://arxiv.org/abs/2309.06090
ID  - 2309.06090
ER  -