TY  - RPRT
TI  - Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
AU  - Jonathan Julián Huerta y Munive
AU  - Simon Foster
AU  - Mario Gleirscher
AU  - Georg Struth
AU  - Christian Pardillo Laursen
AU  - Thomas Hickman
PY  - 2024
UR  - https://arxiv.org/abs/2401.12061
ID  - 2401.12061
ER  -