DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-19992-9_22,12171,ToHe,"Synthesis of parametric hybrid automata from time series"