DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1109/lics65433.2025.00041,20690,KrCh,Risk-aware Markov decision processes using cumulative prospect theory
10.1109/lics65433.2025.00044,20689,KrCh,Multiplicative rewards in Markovian models
10.1073/pnas.2524109122,20857,KrCh,Promoters of cooperation in evolutionary games
10.4230/LIPIcs.ICALP.2025.87,21320,KrCh,IID prophet inequality with random horizon: Going beyond increasing hazard rates
10.4230/LIPIcs.ICALP.2025.150,21268,KrCh,The value problem for multiple-environment MDPs with parity objective
10.4230/LIPIcs.DISC.2025.23,21412,KrCh,Boosting payment channel network liquidity with topology optimization and transaction selection
10.15479/AT-ISTA-20234,20234,"GradSch,KrCh","Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games"
10.1287/moor.2023.0297,17037,"GradSch,KrCh",Marginal values of a stochastic game
10.1007/s10703-023-00411-4,12738,KrCh,Stochastic games with lexicographic objectives
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.5281/ZENODO.10639167,15108,KrCh,"Computer code for ""Efficiency and resilience of cooperation in asymmetric social dilemmas"""
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
10.48550/arXiv.2401.16252,17101,KrCh,Zero-sum random games on directed graphs
10.1145/3649824,17162,KrCh,Quantitative bounds on resource usage of probabilistic programs
10.1007/978-3-031-67695-6_4,18600,KrCh,"Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report"
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