_id,doi,title
12171,10.1007/978-3-031-19992-9_22,"Synthesis of parametric hybrid automata from time series"