@misc{indiciae146da9ef1c45,
  title = {On verification and constraint generation for families of similar hybrid automata},
  author = {Viorica Sofronie-Stokkermans and Philipp Marohn},
  year = {2025},
  url = {https://arxiv.org/abs/2505.09244},
  note = {Source identifier: 2505.09244}
}