DOI,IST REx ID,Research Group,Title of publication
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes
10.1007/978-3-031-82703-7_5,19375,KrCh,"1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization"
10.1109/lics65433.2025.00049,20688,KrCh,Stopping criteria for value iteration on concurrent stochastic reachability and safety games
10.1007/978-3-031-67695-6_4,18600,KrCh,"Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report"
10.1007/978-3-031-37706-8_20,14259,KrCh,"Guessing winning policies in LTL synthesis by semantic learning"
10.1109/LICS56636.2023.10175771,13967,KrCh,Stopping criteria for value iteration on stochastic games with quantitative objectives
10.1007/s00236-021-00412-y,10602,KrCh,Index appearance record with preorders
10.4230/LIPIcs.CONCUR.2022.11,12775,KrCh,Anytime guarantees for reachability in uncountable Markov decision processes
10.1007/978-3-319-89960-2_21,297,"KrCh,ToHe",Strategy representation by decision trees in reactive synthesis
10.1007/978-3-662-54577-5_26,13160,KrCh,Index appearance record for transforming Rabin automata into parity automata
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1007/978-3-319-63387-9_10,645,KrCh,Value iteration for long run average reward in markov decision processes
10.23638/LMCS-13(2:15)2017,466,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties
10.4230/LIPIcs.CONCUR.2015.142,1499,"ToHe,KrCh",Polynomial time decidability of weighted synchronization under partial observability
10.1145/2737166.2737175,1502,"ToHe,KrCh",Complete composition operators for IOCO-testing theory
10.1007/978-3-662-48899-7_12,1594,"ToHe,KrCh",Controller synthesis for MDPs and frequency LTL\GU
10.1007/978-3-319-21690-4_31,1601,"ToHe,KrCh",The Hanoi omega-automata format