Synthesis of Parametric Hybrid Automata from Time Series
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031199912
Argitalpen urtea: 2022
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings
Alea: 13505 LNCS
Orrialdeak: 337-353
Mota: Biltzar ekarpena