DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611977554.ch173,12676,"GradSch,KrCh",Faster algorithm for turn-based stochastic games with bounded treewidth
10.1007/978-3-031-30823-9_25,13139,KrCh,"Correct approximation of stationary distributions"
10.5281/ZENODO.7548214,14990,KrCh,Artefact for: Correct Approximation of Stationary Distributions
10.1109/LICS56636.2023.10175771,13967,KrCh,Stopping criteria for value iteration on stochastic games with quantitative objectives
10.1007/978-3-031-37706-8_20,14259,KrCh,"Guessing winning policies in LTL synthesis by semantic learning"
10.1007/978-3-031-37709-9_5,14317,KrCh,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
10.4230/LIPIcs.MFCS.2023.15,14417,KrCh,Entropic risk for turn-based stochastic games
10.3233/FAIA230264,14518,"ToHe,KrCh",Reachability poorman discrete-bidding games
10.1007/978-3-031-19992-9_20,12170,KrCh,"PET – A partial exploration tool for probabilistic verification"
10.1609/aaai.v36i9.21222,12568,KrCh,Risk-aware stochastic shortest path
10.4230/LIPIcs.CONCUR.2022.11,12775,KrCh,Anytime guarantees for reachability in uncountable Markov decision processes
10.1007/s00236-021-00412-y,10602,KrCh,Index appearance record with preorders
10.1007/978-3-031-13185-1_4,12000,KrCh,"Sound and complete certificates for auantitative termination analysis of probabilistic programs"
10.4230/LIPIcs.FSTTCS.2022.29,12102,"KrCh,GradSch",Algorithms and hardness results for computing cores of Markov chains
10.1007/978-3-662-54577-5_26,13160,KrCh,Index appearance record for transforming Rabin automata into parity automata