_id,doi,title
6886,10.4230/LIPICS.CONCUR.2019.20,Determinacy in discrete-bidding infinite-duration games
6888,10.1109/icra.2019.8793840,Designing worm-inspired neural networks for interpretable robotic control
6894,10.15479/AT:ISTA:6894,Automatic time-unbounded reachability analysis of hybrid systems
6985,10.1109/ijcnn.2019.8851954,Response characterization for auditing cell dynamics in long short-term memory networks
7109,10.1145/3286976,From real-time logic to timed automata
7147,10.1007/978-3-030-31304-3_9,Transient memory in gene regulation
7159,10.1007/978-3-030-32079-9_17,Shape expressions for specifying and extracting signal features
7231,10.1007/978-3-030-29662-9_8,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
7232,10.1007/978-3-030-29662-9_4,Mixed-time signal temporal logic
7453,10.1007/978-3-319-91908-9_22,Continuous-time models for system design and analysis
7576,10.29007/m75b,ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
6035,10.1145/3302504.3311804,JuliaReach: A toolbox for set-based reachability
6042,10.1007/978-3-030-17462-0_13,Semantic fault localization and suspiciousness ranking
6428,10.1145/3302504.3311800,Interface-aware signal temporal logic
6462,10.1007/978-3-030-25540-4_36,Run-time optimization for learned controllers through quantitative games
6493,10.1007/978-3-030-25540-4_16,Membership-based synthesis of linear hybrid automata
6565,10.1109/INDIANCC.2019.8715598,Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
297,10.1007/978-3-319-89960-2_21,Strategy representation by decision trees in reactive synthesis
299,10.1007/978-3-319-89963-3_18,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
3300,10.1007/978-3-319-10575-8,Handbook of Model Checking