_id,doi,title
8600,10.4230/LIPIcs.CONCUR.2020.23,Multi-dimensional long-run average problems for vector addition systems with states
86,10.1007/978-3-319-95246-8_9,Computing average response time
1066,10.1016/j.ic.2016.10.006,Quantitative fair simulation games
467,10.1145/3152769,Nested weighted automata
1196,10.1016/j.nahs.2016.09.001,Model measuring for discrete and hybrid systems
1090,10.4230/LIPIcs.MFCS.2016.24,Nested weighted limit-average automata of bounded width
1138,10.1145/2933575.2933588,Quantitative automata under probabilistic semantics
1526,10.1007/978-3-662-49122-5_12,Lipschitz robustness of timed I/O systems
1335,10.1007/978-3-662-53413-7_2,Quantitative monitor automata
1656,10.1109/LICS.2015.72,Nested weighted automata
1659,10.1109/LICS.2015.74,The target discounted-sum problem
1680,10.1145/2817825,On the decidability of elementary modal logics
5436,10.15479/AT:IST-2015-170-v2-2,Nested weighted automata
5438,10.15479/AT:IST-2015-334-v1-1,Edit distance for pushdown automata
5439,10.15479/AT:IST-2015-335-v1-1,The target discounted-sum problem
1610,10.1007/978-3-662-47666-6_10,Edit distance for pushdown automata
1870,10.4230/LIPIcs.FSTTCS.2014.431,Lipschitz robustness of finite-state transducers
2217,10.1145/2562059.2562130,Model measuring for hybrid systems
5415,10.15479/AT:IST-2014-170-v1-1,Nested weighted automata
5416,10.15479/AT:IST-2014-171-v1-1,Model measuring for hybrid systems