Tomás Brázdil

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 33

Top Venues

CoRR

J. Comput. Syst. Sci.

ATVA

QEST

Publications

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Learning Algorithms for Verification of Markov Decision Processes. CoRR (2024)
Tomás Brázdil
A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods. Taming the Infinities of Concurrency (2024)
Jirí Horák, Katarína Furmanová, Barbora Kozlíková, Tomás Brázdil, Petr Holub, M. Kacenga, Matej Gallo, R. Nenutil, Jan Byska, Vít Rusnák
xOpat: eXplainable Open Pathology Analysis Tool. Comput. Graph. Forum 42 (3) (2023)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly adaptation of patrolling strategies in changing environments. UAI (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR (2022)
Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. CoRR (2020)
Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. AAAI (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CoRR (2020)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. QEST (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR (2019)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. CoRR (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA (2019)
Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
Unbounded Orchestrations of Transducers for Manufacturing. AAAI (2019)
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. LICS (2018)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. ISoLA (2) (2018)
Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
Strategy Representation by Decision Trees in Reactive Synthesis. CoRR (2018)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. CoRR (2018)
Tomás Brázdil, Antonín Kucera, Vojtech Rehák
Solving Patrolling Problems in the Internet Environment. IJCAI (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. CoRR (2018)
Tomás Brázdil, Antonín Kucera, Vojtech Rehák
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. CoRR (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Efficient Algorithms for Checking Fast Termination in VASS. CoRR (2017)
Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation 116 (2017)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Trading performance for stability in Markov decision processes. J. Comput. Syst. Sci. 84 (2017)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
Stochastic Shortest Path with Energy Constraints in POMDPs. CoRR (2016)
Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
Stability in Graphs and Games. CONCUR (2016)
Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST (2016)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. ATVA (2016)
Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
Stability in Graphs and Games. CoRR (2016)
Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR (2016)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). AAMAS (2016)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. CoRR (2016)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CAV (1) (2015)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. QEST (2015)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. TACAS (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. CoRR (2015)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. CoRR (2015)
Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy
Strategy Synthesis in Adversarial Patrolling Games. CoRR (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
Runtime analysis of probabilistic programs with unbounded recursion. J. Comput. Syst. Sci. 81 (1) (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. LICS (2015)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CoRR (2015)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CoRR (2014)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. CoRR (2014)
Michal Abaffy, Tomás Brázdil, Vojtech Rehák, Branislav Bosanský, Antonín Kucera, Jan Krcál
Solving adversarial patrolling games with bounded error: (extended abstract). AAMAS (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes Using Learning Algorithms. ATVA (2014)
Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Log. Methods Comput. Sci. 10 (1) (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. J. ACM 61 (6) (2014)
Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Branching-time model-checking of probabilistic pushdown automata. J. Comput. Syst. Sci. 80 (1) (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes using Learning Algorithms. CoRR (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata. CSL-LICS (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR (2014)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CAV (2014)
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
Solvency Markov Decision Processes with Interest. FSTTCS (2013)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Trading Performance for Stability in Markov Decision Processes. LICS (2013)
Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera
Continuous-time stochastic games with time-bounded reachability. Inf. Comput. 224 (2013)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Trading Performance for Stability in Markov Decision Processes CoRR (2013)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the termination value of one-counter MDPs and stochastic games. Inf. Comput. 222 (2013)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák
On time-average limits in deterministic and stochastic petri nets. ICPE (2013)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera
Analyzing probabilistic pushdown automata. Formal Methods Syst. Des. 43 (2) (2013)
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
Solvency Markov Decision Processes with Interest. CoRR (2013)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS (2012)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
Space-efficient scheduling of stochastically generated tasks. Inf. Comput. 210 (2012)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV (2012)
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic game logic. Acta Informatica 49 (4) (2012)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR (2012)
Tomás Brázdil, Stefan Kiefer
Stabilization of Branching Queueing Networks. STACS (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) (2012)
Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák
Verification of Open Interactive Markov Chains. FSTTCS (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Determinacy in Stochastic Games with Unbounded Payoff Functions CoRR (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes CoRR (2012)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR (2011)
Tomás Brázdil, Stefan Kiefer
Stabilization of Branching Queueing Networks CoRR (2011)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. ICALP (2) (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Measuring performance of continuous-time stochastic processes using timed automata. HSCC (2011)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. ICALP (2) (2011)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CAV (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR (2011)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter CoRR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
Fixed-delay Events in Generalized Semi-Markov Processes Revisited CoRR (2011)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative reachability in stochastic BPA games. Inf. Comput. 209 (8) (2011)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the Termination Value of One-Counter MDPs and Stochastic Games CoRR (2011)
Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS (2011)
Tomás Brázdil, Václav Brozek, Kousha Etessami
One-Counter Stochastic Games CoRR (2010)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
Space-efficient scheduling of stochastically generated tasks CoRR (2010)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami
One-Counter Stochastic Games. FSTTCS (2010)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
Space-Efficient Scheduling of Stochastically Generated Tasks. ICALP (2) (2010)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
Runtime Analysis of Probabilistic Programs with Unbounded Recursion CoRR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes. SODA (2010)
Tomás Brázdil, Petr Jancar, Antonín Kucera
Reachability Games on Extended Vector Addition Systems with States. ICALP (2) (2010)
Tomás Brázdil, Petr Jancar, Antonín Kucera
Reachability Games on Extended Vector Addition Systems with States CoRR (2010)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative Reachability in Stochastic BPA Games CoRR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes CoRR (2009)
Tomás Brázdil, Václav Brozek, Vojtech Forejt
Branching-Time Model-Checking of Probabilistic Pushdown Automata. INFINITY (2009)
Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera
Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS (2009)
Tomás Brázdil, Javier Esparza, Stefan Kiefer
On the Memory Consumption of Probabilistic Pushdown Automata. FSTTCS (2009)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative Reachability in Stochastic BPA Games. STACS (2009)
Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Informatica 45 (2) (2008)
Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera
Discounted Properties of Probabilistic Pushdown Automata. LPAR (2008)

Tomás Brázdil.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tomás Brázdil