Synthesis of Parametric Hybrid Automata from Time Series
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031199912
Datum der Publikation: 2022
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings
Ausgabe: 13505 LNCS
Seiten: 337-353
Art: Konferenz-Beitrag