_id,doi,title
434,10.1109/TITS.2017.2778077,Safety-assured model-driven design of the multifunction vehicle bus controller
1066,10.1016/j.ic.2016.10.006,Quantitative fair simulation games
1116,10.1007/978-3-662-54580-5_10,Computing scores of forwarding schemes in switched networks with probabilistic faults
1155,10.15479/AT:ISTA:TH_730,Statistical and logical methods for property checking
663,10.1145/3049797.3049814,Safety verification of nonlinear hybrid systems based on invariant clusters
711,10.4230/LIPIcs.CONCUR.2017.5,Bidirectional nested weighted automata
743,10.1007/s10703-017-0307-6,Preface of the special issue in memoriam Helmut Veith
465,10.23638/LMCS-13(3:23)2017,Edit distance for pushdown automata
467,10.1145/3152769,Nested weighted automata
471,10.1145/3060139,Faster statistical model checking for unbounded temporal properties
549,10.4204/EPTCS.259.3,Causality-based model checking
625,10.1007/978-3-319-63121-9_18,The cost of exactness in quantitative 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
636,10.1007/978-3-319-65765-3_11,On the quantitative semantics of regular expressions over real-valued signals
638,10.1007/978-3-319-54292-8,Numerical Software Verification
6426,10.15479/AT:IST-2018-853-v2-2,Synchronizing the asynchronous
647,10.1007/978-3-319-65765-3_7,Conic abstractions for hybrid systems
1338,10.1007/s10703-016-0256-5,From non-preemptive to preemptive scheduling using synchronization synthesis
1351,10.1007/s00236-016-0278-x,Model checking the evolution of gene regulatory networks