DOI,IST REx ID,Research Group,Title of publication
10.1109/TCAD.2020.3012859,8790,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability
10.1007/978-3-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
10.1007/978-3-319-63501-9_6,633,ToHe,Challenges and tool implementation of hybrid rapidly exploring random trees
10.1007/978-3-319-54292-8,638,ToHe,Numerical Software Verification
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1109/MEMCOD.2016.7797741,1103,ToHe,Parallel reachability analysis for hybrid systems
10.1109/CCA.2016.7587948,1134,ToHe,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
10.1016/j.biosystems.2016.07.005,1148,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
10.1007/978-3-319-47151-8_9,1227,ToHe,Discrete abstraction of multiaffine systems
10.1145/2883817.2883837,1421,ToHe,Scalable static hybridization methods for analysis of nonlinear systems
10.1007/s10009-015-0393-y,1705,ToHe,Guided search for hybrid systems based on coarse-grained space abstractions
10.1145/2728606.2728650,1500,,Poster: HyRG: A random generation tool for affine hybrid automata
10.1007/978-3-319-26287-1_1,1541,ToHe,XSpeed: Accelerating reachability analysis on multi-core processors
10.1007/978-3-319-26287-1_2,1605,ToHe,Abstraction-based parameter synthesis for multiaffine systems
10.1007/978-3-319-23820-3_19,1606,ToHe,Runtime verification for hybrid analysis tools
10.1007/978-3-319-23401-4_8,1658,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
null,1670,ToHe,PDDL+ planning with hybrid automata: Foundations of translating must behavior
10.1145/2728606.2728630,1690,ToHe,HYST: A source transformation and translation tool for hybrid automaton models
10.1145/2728606.2728622,1692,ToHe,Eliminating spurious transitions in reachability with support functions