DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-37709-9_2,14318,KrCh,"Automated tail bound analysis for probabilistic recurrence relations"
10.4230/LIPIcs.MFCS.2023.15,14417,KrCh,Entropic risk for turn-based stochastic games
10.1007/978-3-031-43587-4_24,14456,KrCh,Shortest dominating set reconfiguration under token sliding
10.3233/FAIA230264,14518,"ToHe,KrCh",Reachability poorman discrete-bidding games
10.15479/14539,14539,"KrCh,GradSch",Automated verification and control of infinite state stochastic systems
10.1007/978-3-031-45329-8_17,14559,"ToHe,KrCh","Learning provably stabilizing neural controllers for discrete-time stochastic systems"
10.1098/rsif.2023.0355,14657,KrCh,Evolutionary dynamics of mutants that modify population structure
10.1007/978-3-031-47754-6_18,14736,"KrCh,KrPi","R2: Boosting liquidity in payment channel networks with online admission control"
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination
10.1007/s13235-022-00425-3,10770,KrCh,Where do mistakes lead? A survey of games with incompetent players
10.1007/978-3-031-19992-9_20,12170,KrCh,"PET – A partial exploration tool for probabilistic verification"
10.1103/physreve.106.034321,12257,KrCh,Social balance on networks: Local minima and best-edge dynamics
10.1371/journal.pcbi.1010149,12280,KrCh,Direct reciprocity between individuals that use different strategy spaces
10.1609/aaai.v36i7.20695,12511,"ToHe,KrCh",Stability verification in stochastic control systems via neural network supermartingales
10.1609/aaai.v36i9.21222,12568,KrCh,Risk-aware stochastic shortest path
10.48550/ARXIV.2209.14368,12677,"GradSch,KrCh",Repeated prophet inequality with near-optimal bounds
10.4230/LIPIcs.CONCUR.2022.11,12775,KrCh,Anytime guarantees for reachability in uncountable Markov decision processes
10.1287/moor.2020.1116,9311,"GradSch,KrCh",Finite-memory strategies in POMDPs with long-run average objectives
10.48550/ARXIV.2210.05308,14600,"KrCh,ToHe",Learning control policies for stochastic systems with reach-avoid guarantees
10.48550/arXiv.2205.11991,14601,"KrCh,ToHe",Learning stabilizing policies in stochastic control systems