_id,doi,title
78,10.1007/978-3-030-00151-3_13,Online timed pattern matching using automata
79,10.1007/978-3-319-99154-2_4,Parameter-independent strategies for pMDPs via POMDPs
81,10.1007/978-3-030-00151-3_4,Monitoring temporal logic with clock variables
86,10.1007/978-3-319-95246-8_9,Computing average response time
182,10.1145/3178126.3178132,Efficient parametric identification for STL
183,10.1145/3178126.3178131,Localizing faults in simulink/stateflow models with STL
24,10.24963/ijcai.2018/652,Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
5677,10.1561/1000000053,Contracts for system design
5788,10.1007/978-3-030-04612-5_2,Infinite-duration poorman-bidding games
5959,10.1109/emsoft.2018.8537203,Keynote: The first-order logic of signals
60,10.1007/978-3-319-10575-8_1,Introduction to model checking
6005,10.4230/LIPICS.MFCS.2018.23,Timed network games with clocks
6006,10.3390/g9030039,An abstraction-refinement methodology for reasoning about network games
608,10.1016/j.tcs.2017.11.001,Synthesis from component libraries with costs
144,10.1145/3209108.3209194,A theory of register monitors
156,10.1007/978-3-319-95582-7_9,The compound interest in relaxing punctuality
160,10.1007/978-3-319-96145-3_5,Layered Concurrent Programs
133,10.4230/LIPIcs.CONCUR.2018.21,Synchronizing the asynchronous
140,10.1007/978-3-319-96145-3_25,Space-time interpolants
142,10.1007/978-3-319-96145-3_24,Reachable set over-approximation for nonlinear systems using piecewise barrier tubes