DOI,IST REx ID,Research Group,Title of publication
10.1145/3519939.3523435,11459,"GradSch,KrCh",Differential cost analysis with simultaneous potentials and anti-potentials
10.7155/jgaa.00591,11938,"UlWa,HeEd,KrCh",On compatible matchings
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.11,12101,KrCh,Complexity of spatial games
10.4230/LIPIcs.FSTTCS.2022.29,12102,"KrCh,GradSch",Algorithms and hardness results for computing cores of Markov chains
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.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
10.1093/pnasnexus/pgac141,17061,KrCh,Evolutionary instability of selfish learning in repeated games
10.1007/s00236-021-00412-y,10602,KrCh,Index appearance record with preorders
10.1038/s41598-022-05333-5,10731,KrCh,Infection dynamics of COVID-19 virus under lockdown and reopening
10.1287/moor.2020.1116,9311,"GradSch,KrCh",Finite-memory strategies in POMDPs with long-run average objectives
10.4230/LIPIcs.CONCUR.2022.11,12775,KrCh,Anytime guarantees for reachability in uncountable Markov decision processes
10.24963/ijcai.2021/575,10847,KrCh,Solving partially observable stochastic shortest-path games
10.1007/978-3-030-72016-2_2,12767,KrCh,On satisficing in quantitative games