TY  - RPRT
TI  - On verification and constraint generation for families of similar hybrid automata
AU  - Viorica Sofronie-Stokkermans
AU  - Philipp Marohn
PY  - 2025
UR  - https://arxiv.org/abs/2505.09244
ID  - 2505.09244
ER  -