Synthesis of Parametric Hybrid Automata from Time Series
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031199912
Ano de publicación: 2022
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings
Volume: 13505 LNCS
Páxinas: 337-353
Tipo: Achega congreso