_id,doi,title
12170,10.1007/978-3-031-19992-9_20,"PET – A partial exploration tool for probabilistic verification"
12171,10.1007/978-3-031-19992-9_22,"Synthesis of parametric hybrid automata from time series"