Miriam García Soto, Thomas A. Henzinger, Christian Schilling 0001. Synthesis of Parametric Hybrid Automata from Time Series. In Ahmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Volume 13505 of Lecture Notes in Computer Science, pages 337-353, Springer, 2022. [doi]
Abstract is missing.