_id,doi,title
13967,10.1109/LICS56636.2023.10175771,Stopping criteria for value iteration on stochastic games with quantitative objectives
14259,10.1007/978-3-031-37706-8_20,"Guessing winning policies in LTL synthesis by semantic learning"
10602,10.1007/s00236-021-00412-y,Index appearance record with preorders
12775,10.4230/LIPIcs.CONCUR.2022.11,Anytime guarantees for reachability in uncountable Markov decision processes
297,10.1007/978-3-319-89960-2_21,Strategy representation by decision trees in reactive synthesis
466,10.23638/LMCS-13(2:15)2017,Unifying two views on multiple mean-payoff objectives in Markov decision processes
471,10.1145/3060139,Faster statistical model checking for unbounded temporal properties
645,10.1007/978-3-319-63387-9_10,Value iteration for long run average reward in markov decision processes
13160,10.1007/978-3-662-54577-5_26,Index appearance record for transforming Rabin automata into parity automata
1407,10.1016/j.nahs.2016.04.006,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
1093,10.4230/LIPIcs.CONCUR.2016.20,Linear distances between Markov chains
1234,10.1007/978-3-662-49674-9_7,Faster statistical model checking for unbounded temporal properties
1657,10.1109/LICS.2015.32,Unifying two views on multiple mean-payoff objectives in Markov decision processes
1689,10.1145/2728606.2728608,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
1846,10.1007/s00236-015-0215-4,Refinement checking on parametric modal transition systems
1882,10.1007/978-3-319-15317-9_19,Compositionality for quantitative specifications
5429,10.15479/AT:IST-2015-318-v1-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5435,10.15479/AT:IST-2015-318-v2-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
1499,10.4230/LIPIcs.CONCUR.2015.142,Polynomial time decidability of weighted synchronization under partial observability
1502,10.1145/2737166.2737175,Complete composition operators for IOCO-testing theory