
Qualitative Controller Synthesis for Consumption Markov Decision Processes
Consumption Markov Decision Processes (CMDPs) are probabilistic decision...
read it

Reinforcement Learning of RiskConstrained Policies in Markov Decision Processes
Markov decision processes (MDPs) are the defacto framework for sequenti...
read it

Deciding Fast Termination for Probabilistic VASS with Nondeterminism
A probabilistic vector addition system with states (pVASS) is a finite s...
read it

Strategy Representation by Decision Trees with Linear Classifiers
Graph games and Markov decision processes (MDPs) are standard models in ...
read it

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
The maximum reachability probabilities in a Markov decision process can ...
read it

Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment
We propose an algorithm for constructing efficient patrolling strategies...
read it

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Vector Addition Systems with States (VASS) provide a wellknown and fund...
read it

Strategy Representation by Decision Trees in Reactive Synthesis
Graph games played by two players over finitestate graphs are central i...
read it

Efficient Algorithms for Checking Fast Termination in VASS
Vector Addition Systems with States (VASS) consists of a finite state sp...
read it

Stochastic Shortest Path with Energy Constraints in POMDPs
We consider partially observable Markov decision processes (POMDPs) with...
read it
Tomáš Brázdil
is this you? claim profile