Tomáš Brázdil | DeepAI

AI Chat

Featured Co-authors

Ufuk Topcu
123 publications
Krishnendu Chatterjee
70 publications
Christoph H. Lampert
37 publications
Jan Křetínský
36 publications
Petr Novotný
23 publications
Anchit Gupta
17 publications
Antonin Kucera
16 publications
Melkior Ornik
12 publications
Vít Musil
11 publications
Florian Zuleger
11 publications
Pranav Ashok
9 publications

∙ 06/16/2022

On-the-fly Adaptation of Patrolling Strategies in Changing Environments

We consider the problem of efficient patrolling strategy adaptation in a...

0 Tomáš Brázdil, et al. ∙

∙ 05/14/2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes

Consumption Markov Decision Processes (CMDPs) are probabilistic decision...

0 František Blahoudek, et al. ∙

∙ 02/27/2020

Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

Markov decision processes (MDPs) are the defacto frame-work for sequenti...

0 Tomáš Brázdil, et al. ∙

∙ 07/25/2019

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

A probabilistic vector addition system with states (pVASS) is a finite s...

0 Tomáš Brázdil, et al. ∙

∙ 06/19/2019

Strategy Representation by Decision Trees with Linear Classifiers

Graph games and Markov decision processes (MDPs) are standard models in ...

0 Pranav Ashok, et al. ∙

∙ 09/10/2018

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes

The maximum reachability probabilities in a Markov decision process can ...

0 Pranav Ashok, et al. ∙

∙ 05/08/2018

Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment

We propose an algorithm for constructing efficient patrolling strategies...

0 Tomáš Brázdil, et al. ∙

∙ 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...

0 Tomáš Brázdil, et al. ∙

∙ 02/02/2018

Strategy Representation by Decision Trees in Reactive Synthesis

Graph games played by two players over finite-state graphs are central i...

0 Tomáš Brázdil, et al. ∙

∙ 08/29/2017

Efficient Algorithms for Checking Fast Termination in VASS

Vector Addition Systems with States (VASS) consists of a finite state sp...

0 Tomáš Brázdil, et al. ∙

∙ 02/24/2016

Stochastic Shortest Path with Energy Constraints in POMDPs

We consider partially observable Markov decision processes (POMDPs) with...

0 Tomáš Brázdil, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world