DOI,IST REx ID,Research Group,Title of publication
10.1145/3447928.3456704,9200,ToHe,Synthesis of hybrid automata with affine dynamics from time-series data
10.1007/978-3-030-25540-4_16,6493,ToHe,Membership-based synthesis of linear hybrid automata