DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-90653-4_14,19744,KrCh,Refuting equivalence in probabilistic programs with conditioning
10.1145/3656462,17283,"KrCh,GradSch",Equivalence and similarity refutation for probabilistic programs
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination
10.1145/3410304,15284,KrCh,RevTerm
10.1007/978-3-030-90870-6_33,10414,KrCh,On lexicographic proof rules for probabilistic termination
10.1145/3453483.3454093,9644,KrCh,Proving non-termination by program reversal
10.1017/9781108770750.008,19986,KrCh,Termination Analysis of Probabilistic Programs with Martingales
null,8193,KrCh,Multiple-environment Markov decision processes: Efficient analysis and applications
10.1007/978-3-030-31784-3_27,7183,KrCh,Deciding fast termination for probabilistic VASS with nondeterminism
10.24963/ijcai.2018/652,24,"KrCh,ToHe",Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
10.1145/3209108.3209191,143,KrCh,Efficient algorithms for asymptotic bounds on termination time in VASS
10.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1145/3158122,325,KrCh,Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
10.1145/3009837.3009873,1194,KrCh,Stochastic invariants for probabilistic termination
null,1009,KrCh,Optimizing expectation with guarantees in POMDPs
10.4230/LIPIcs.CONCUR.2016.10,1325,KrCh,Stability in graphs and games
10.1007/978-3-319-46520-3_3,1326,KrCh,Optimizing the expected mean payoff in Energy Markov Decision Processes
null,1327,KrCh,Stochastic shortest path with energy constraints in POMDPs
10.1145/2837614.2837639,1438,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs