DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.DISC.2025.23,21412,KrCh,Boosting payment channel network liquidity with topology optimization and transaction selection
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes
10.1287/moor.2023.0297,17037,"GradSch,KrCh",Marginal values of a stochastic game
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.24963/ijcai.2024/1,18159,KrCh,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1287/moor.2022.0332,18266,"GradSch,KrCh",Value-positivity for matrix games
10.1007/978-3-031-67695-6_4,18600,KrCh,"Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report"
10.46298/lmcs-20(4:11)2024,18630,KrCh,Stochastic processes with expected stopping time
10.1073/pnas.2405605121,18703,KrCh,Density amplifiers of cooperation for spatial games
10.1109/noms59830.2024.10575579,18925,KrCh,Congestion-free rerouting of network flows: Hardness and an FPT algorithm
null,18974,KrCh,Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance
10.1016/j.tcs.2023.114353,14820,"KrCh,KrPi",Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
10.4230/LIPIcs.OPODIS.2023.11,15006,KrCh,On the convergence time in graphical games: A locality-sensitive approach
10.1073/pnas.2315558121,15083,KrCh,Efficiency and resilience of cooperation in asymmetric social dilemmas
10.5281/ZENODO.10639167,15108,KrCh,"Computer code for ""Efficiency and resilience of cooperation in asymmetric social dilemmas"""
10.1371/journal.pcbi.1012008,15297,KrCh,Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
10.1007/s10703-023-00411-4,12738,KrCh,Stochastic games with lexicographic objectives
10.1145/3661814.3662080,17098,KrCh,Deterministic sub-exponential algorithm for discounted-sum games with unary weights
10.4230/LIPIcs.FSTTCS.2024.5,17099,KrCh,Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms