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