research
∙
07/27/2023
Reachability Poorman Discrete-Bidding Games
We consider bidding games, a class of two-player zero-sum graph games. T...
share
research
∙
07/13/2023
Entropic Risk for Turn-Based Stochastic Games
Entropic risk (ERisk) is an established risk measure in finance, quantif...
research
∙
05/26/2023
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
Markov decision processes can be viewed as transformers of probability d...
research
∙
05/24/2023
Guessing Winning Policies in LTL Synthesis by Semantic Learning
We provide a learning-based technique for guessing a winning strategy in...
research
∙
04/19/2023
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
A classic solution technique for Markov decision processes (MDP) and sto...
research
∙
07/27/2022
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes
We consider the problem of computing minimum and maximum probabilities o...
research
∙
03/03/2022
Risk-aware Stochastic Shortest Path
We treat the problem of risk-aware control for stochastic shortest path ...
research
∙
07/22/2019
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
We propose "semantic labelling" as a novel ingredient for solving games ...
research
∙
06/17/2019
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
We introduce a framework for approximate analysis of Markov decision pro...
research
∙
06/29/2018
LTL Store: Repository of LTL formulae from literature and case studies
This continuously extended technical report collects and compares common...
research
∙
05/08/2018
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
We present the conditional value-at-risk (CVaR) in the context of Markov...
research
∙
07/06/2017