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.1109/TNSE.2024.3481434,18529,KrCh,Limitation of time promotes cooperation in structured collaboration systems
10.1073/pnas.2319927121,19965,KrCh,Unilateral incentive alignment in two-agent stochastic games
10.1145/3732772.3733544,20053,"KrCh,KrPi",When is liquid democracy possible?: On the manipulation of variance
10.1093/pnasnexus/pgaf252,20254,KrCh,Maintaining diversity in structured populations
null,20297,"KrCh,GradSch",Limit-sure reachability for small memory policies in POMDPs is NP-complete
null,20299,"KrCh,GradSch",Lower bound on Howard policy iteration for deterministic Markov Decision Processes
null,20302,KrCh,Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis
10.1007/978-3-032-05792-1_11,20610,KrCh,"What are the odds? Improving statistical model checking of Markov decision processes"
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1109/lics65433.2025.00049,20688,KrCh,Stopping criteria for value iteration on concurrent stochastic reachability and safety games
10.1109/lics65433.2025.00044,20689,KrCh,Multiplicative rewards in Markovian models
10.1109/lics65433.2025.00041,20690,KrCh,Risk-aware Markov decision processes using cumulative prospect theory
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.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"