DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.OPODIS.2025.31,21411,KrCh,Fast re-routing in networks: On the complexity of perfect resilience
10.1007/s10009-026-00848-y,21661,KrCh,"The revised practitioner’s guide to MDP model checking algorithms"
10.1609/aaai.v40i43.40931,21717,"KrCh,GradSch","Qualitative analysis of ω-regular objectives on robust MDPs"
10.1609/aaai.v40i43.40932,21722,KrCh,Revealing POMDPs: Qualitative and quantitative analysis for parity objectives
10.1145/3808296,22102,KrCh,SuperDP: Differential privacy refutation via supermartingales
10.1038/s41467-026-71777-2,22101,KrCh,The effect of the fitness gradient on fixation probability
10.5281/ZENODO.18930113,22134,KrCh,SuperDP: Differential Privacy Refutation via Supermartingales
10.4230/LIPIcs.CONCUR.2026.13,22920,"GradSch,KrCh,ToHe",Generalized bidding games: Where bidding and stochastic games meet
10.4230/LIPIcs.CONCUR.2026.12,22919,"GradSch,KrCh,ToHe",PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance
10.4230/LIPIcs.CONCUR.2026.6,22922,"KrCh,ToHe",A look back at strategy logic
10.15479/AT-ISTA-23079,23079,"GradSch,KrCh",Approximation of values and equilibria in stochastic games: Complexity and algorithms
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes
10.5281/ZENODO.14500423,21668,KrCh,Benchmark data for the revised practitioner's guide to MDP model checking algorithms
10.1109/TNSE.2024.3481434,18529,KrCh,Limitation of time promotes cooperation in structured collaboration systems
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.1007/978-981-96-2845-2_16,19445,KrCh,Reconfiguration using generalized token jumping
10.1073/pnas.2419273122,19499,"KrCh,ToHe",Hardware-optimal quantum algorithms
10.1007/978-3-031-82349-7_15,19600,"KrPi,KrCh","Route discovery in private payment channel networks"
10.1609/aaai.v39i25.34865,19666,KrCh,"Solving robust Markov decision processes: Generic, reliable, efficient"
10.1007/978-3-031-90643-5_9,19742,KrCh,Sound statistical model checking for probabilities and expected rewards