DOI,IST REx ID,Research Group,Title of publication
10.1007/s10009-023-00711-4,13234,ToHe,Into the unknown: Active monitoring of neural networks (extended version)
10.1007/978-3-031-19992-9_22,12171,ToHe,"Synthesis of parametric hybrid automata from time series"
10.1145/3447928.3456704,9200,ToHe,Synthesis of hybrid automata with affine dynamics from time-series data
10.1007/978-3-030-88494-9_3,10206,ToHe,"Into the unknown: active monitoring of neural networks"
null,8287,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.29007/zkf6,8571,ToHe,ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
10.29007/7dt2,8572,ToHe,ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
10.1109/MEMOCODE51338.2020.9314994,8750,ToHe,Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions
10.1109/TCAD.2020.3012859,8790,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.3233/FAIA200375,7505,ToHe,Outside the box: Abstraction-based monitoring of neural networks
10.29007/bj1w,8570,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
10.29007/m75b,7576,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability
10.1007/978-3-030-17462-0_13,6042,ToHe,Semantic fault localization and suspiciousness ranking
10.1007/978-3-030-25540-4_16,6493,ToHe,Membership-based synthesis of linear hybrid automata
10.1007/978-3-319-47151-8_9,1227,ToHe,Discrete abstraction of multiaffine systems
10.1109/CCA.2016.7587948,1134,ToHe,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
10.1145/2728606.2728650,1500,,Poster: HyRG: A random generation tool for affine hybrid automata
10.1007/978-3-319-26287-1_2,1605,ToHe,Abstraction-based parameter synthesis for multiaffine systems