research
∙
06/16/2022
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
We consider the problem of efficient patrolling strategy adaptation in a...
share
research
∙
05/14/2020
Qualitative Controller Synthesis for Consumption Markov Decision Processes
Consumption Markov Decision Processes (CMDPs) are probabilistic decision...
research
∙
02/27/2020
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
Markov decision processes (MDPs) are the defacto frame-work for sequenti...
research
∙
07/25/2019
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
A probabilistic vector addition system with states (pVASS) is a finite s...
research
∙
06/19/2019
Strategy Representation by Decision Trees with Linear Classifiers
Graph games and Markov decision processes (MDPs) are standard models in ...
research
∙
09/10/2018
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
The maximum reachability probabilities in a Markov decision process can ...
research
∙
05/08/2018
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment
We propose an algorithm for constructing efficient patrolling strategies...
research
∙
04/29/2018
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Vector Addition Systems with States (VASS) provide a well-known and fund...
research
∙
02/02/2018
Strategy Representation by Decision Trees in Reactive Synthesis
Graph games played by two players over finite-state graphs are central i...
research
∙
08/29/2017
Efficient Algorithms for Checking Fast Termination in VASS
Vector Addition Systems with States (VASS) consists of a finite state sp...
research
∙
02/24/2016