Synthesis of Parametric Hybrid Automata from Time Series
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031199912
Any de publicació: 2022
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings
Volum: 13505 LNCS
Pàgines: 337-353
Tipus: Aportació congrés