Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
S. 1 - 50
Publikationstyp: (noch) nicht publizierte Dokumente
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1601.01648
Autoren
Damm, Werner (Autor)
Horbach, Matthias (Autor)
Sofronie-Stokkermans, Viorica (Autor)