_id,doi,title
7808,10.1007/978-3-030-45237-7_5,How many bits does it take to quantize your neural network?
10877,10.29007/rjwn,ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
6894,10.15479/AT:ISTA:6894,Automatic time-unbounded reachability analysis of hybrid systems
7453,10.1007/978-3-319-91908-9_22,Continuous-time models for system design and analysis
140,10.1007/978-3-319-96145-3_25,Space-time interpolants
631,10.1007/978-3-662-54577-5_34,Counterexample guided refinement of template polyhedra
647,10.1007/978-3-319-65765-3_7,Conic abstractions for hybrid systems
1351,10.1007/s00236-016-0278-x,Model checking the evolution of gene regulatory networks
1835,10.1007/978-3-662-46681-0_47,Model checking gene regulatory networks