Synthesis of Parametric Hybrid Automata from Time Series
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031199912
Year of publication: 2022
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings
Volume: 13505 LNCS
Pages: 337-353
Type: Conference paper