DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-37709-9_5,14317,KrCh,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
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.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.1609/aaai.v37i10.26407,14830,"ToHe,KrCh",Learning control policies for stochastic systems with reach-avoid guarantees
10.5281/ZENODO.7548214,14990,KrCh,Artefact for: Correct Approximation of Stationary Distributions
10.48550/arXiv.2304.04024,17100,KrCh,Prophet inequalities: Separating random order from order selection
10.1007/978-3-031-32733-9_26,19985,"KrCh,KrPi","Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation"
10.1007/s13235-022-00425-3,10770,KrCh,Where do mistakes lead? A survey of games with incompetent players
10.1609/aaai.v37i5.25679,14243,"ToHe,KrCh",Bidding graph games with partially-observable budgets
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
10.1007/978-3-031-37706-8_20,14259,KrCh,"Guessing winning policies in LTL synthesis by semantic learning"
10.1098/rspa.2022.0685,12787,KrCh,Coexistence times in the Moran process with environmental heterogeneity
10.1109/LICS56636.2023.10175771,13967,KrCh,Stopping criteria for value iteration on stochastic games with quantitative objectives
10.1098/rsif.2023.0355,14657,KrCh,Evolutionary dynamics of mutants that modify population structure