DOI,IST REx ID,Research Group,Title of publication
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.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.1007/978-3-031-90653-4_7,19743,KrCh,Fixed point certificates for reachability and expected rewards in MDPs
10.1007/978-3-031-90653-4_11,19740,KrCh,Value iteration with guessing for Markov chains and Markov decision processes
10.1007/978-3-031-90653-4_14,19744,KrCh,Refuting equivalence in probabilistic programs with conditioning
10.1609/aaai.v39i11.33213,19667,KrCh,Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
10.1609/aaai.v39i11.33212,19669,KrCh,Linear equations with min and max operators: Computational complexity
10.15479/AT-ISTA-19903,19903,"GradSch,KrCh",Reciprocity and inequality in social dilemmas
10.15479/AT-ISTA-20138,20138,"GradSch,KrCh",Structural properties of games on graphs
null,20299,"KrCh,GradSch",Lower bound on Howard policy iteration for deterministic Markov Decision Processes
null,20297,"KrCh,GradSch",Limit-sure reachability for small memory policies in POMDPs is NP-complete
null,20302,KrCh,Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1109/lics65433.2025.00041,20690,KrCh,Risk-aware Markov decision processes using cumulative prospect theory