Tomás Brázdil

121 papers A* 14A 7B 11Journal 62Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	From slides to AI-ready maps: Standardized multi-layer tissue maps as metadata for artificial intelligence in digital pathology. Artif. Intell. Medicine Gernot Fiala, Markus Plass, Robert Harb, Peter Regitnig, Kristijan Skok, Wael Al Zoughbi, Carmen Zerner, Paul R. Torke, Michaela Kargl, Heimo Müller, Tomás Brázdil, Matej Gallo, Jaroslav Kubín, Roman Stoklasa, Rudolf Nenutil, Norman Zerbe, Andreas Holzinger, Petr Holub
2026	J	`jnl`	LSP-DETR: Efficient and Scalable Nuclei Segmentation in Whole Slide Images. CoRR Matej Pekár, Vít Musil, Rudolf Nenutil, Petr Holub, Tomás Brázdil
2025	—	`conf`	Beyond Occlusion: In Search for Near Real-Time Explainability of CNN-Based Prostate Cancer Classification. ISBI Martin Krebs, Jan Obdrzálek, Vít Musil, Tomás Brázdil
2025	J	`jnl`	Beyond Occlusion: In Search for Near Real-Time Explainability of CNN-Based Prostate Cancer Classification. CoRR Martin Krebs, Jan Obdrzálek, Vít Musil, Tomás Brázdil
2025	J	`jnl`	Explaining Digital Pathology Models via Clustering Activations. CoRR Adam Bajger, Jan Obdrzálek, Vojtech Kur, Rudolf Nenutil, Petr Holub, Vít Musil, Tomás Brázdil
2025	J	`jnl`	LLEXICORP: End-user Explainability of Convolutional Neural Networks. CoRR Vojtech Kur, Adam Bajger, Adam Kukucka, Marek Hradil, Vít Musil, Tomás Brázdil
2025	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2025	J	`jnl`	Standardized Multi-Layer Tissue Maps for Enhanced Artificial Intelligence Integration and Search in Large-Scale Whole Slide Image Archives. CoRR Gernot Fiala, Markus Plass, Robert Harb, Peter Regitnig, Kristijan Skok, Wael Al Zoughbi, Carmen Zerner, Paul R. Torke, Michaela Kargl, Heimo Müller, Tomás Brázdil, Matej Gallo, Jaroslav Kubín, Roman Stoklasa, Rudolf Nenutil, Norman Zerbe, Andreas Holzinger, Petr Holub
2024	—	`conf`	A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods. Taming the Infinities of Concurrency Tomás Brázdil
2024	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2023	J	`jnl`	xOpat: eXplainable Open Pathology Analysis Tool. Comput. Graph. Forum Jirí Horák, Katarína Furmanová, Barbora Kozlíková, Tomás Brázdil, Petr Holub, M. Kacenga, Matej Gallo, Rudolf Nenutil, Jan Byska, Vít Rusnák
2022	J	`jnl`	On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
2022	A	`conf`	On-the-fly adaptation of patrolling strategies in changing environments. UAI Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
2020	—	`conf`	Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2020	J	`jnl`	Qualitative Controller Synthesis for Consumption Markov Decision Processes. CoRR Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2020	A*	`conf`	Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. AAAI Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
2020	J	`jnl`	Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
2019	B	`conf`	Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
2019	J	`jnl`	Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
2019	—	`conf`	Strategy Representation by Decision Trees with Linear Classifiers. QEST Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019	J	`jnl`	Strategy Representation by Decision Trees with Linear Classifiers. CoRR Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019	A*	`conf`	Unbounded Orchestrations of Transducers for Manufacturing. AAAI Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
2018	A*	`conf`	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. LICS Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
2018	J	`jnl`	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
2018	—	`conf`	Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. ISoLA (2) Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
2018	J	`jnl`	Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. CoRR Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
2018	A*	`conf`	Solving Patrolling Problems in the Internet Environment. IJCAI Tomás Brázdil, Antonín Kucera, Vojtech Rehák
2018	—	`conf`	Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
2018	J	`jnl`	Strategy Representation by Decision Trees in Reactive Synthesis. CoRR Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
2018	J	`jnl`	Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. CoRR Tomás Brázdil, Antonín Kucera, Vojtech Rehák
2017	J	`jnl`	Efficient Algorithms for Checking Fast Termination in VASS. CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
2017	J	`jnl`	Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2017	J	`jnl`	Trading performance for stability in Markov decision processes. J. Comput. Syst. Sci. Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2016	B	`conf`	Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. ATVA Tomás Brázdil, Antonín Kucera, Petr Novotný
2016	J	`jnl`	Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. CoRR Tomás Brázdil, Antonín Kucera, Petr Novotný
2016	—	`conf`	Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	J	`jnl`	Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	B	`conf`	Stability in Graphs and Games. CONCUR Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
2016	J	`jnl`	Stability in Graphs and Games. CoRR Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
2016	J	`jnl`	Stochastic Shortest Path with Energy Constraints in POMDPs. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
2016	A	`conf`	Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). AAMAS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
2015	—	`conf`	Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CAV (1) Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015	J	`jnl`	Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015	A*	`conf`	Long-Run Average Behaviour of Probabilistic Vector Addition Systems. LICS Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
2015	J	`jnl`	Long-Run Average Behaviour of Probabilistic Vector Addition Systems. CoRR Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
2015	A	`conf`	MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. TACAS Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2015	J	`jnl`	MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. CoRR Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2015	—	`conf`	Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. QEST Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
2015	J	`jnl`	Runtime analysis of probabilistic programs with unbounded recursion. J. Comput. Syst. Sci. Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
2015	J	`jnl`	Strategy Synthesis in Adversarial Patrolling Games. CoRR Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy
2014	J	`jnl`	Branching-time model-checking of probabilistic pushdown automata. J. Comput. Syst. Sci. Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
2014	J	`jnl`	Efficient Analysis of Probabilistic Programs with an Unbounded Counter. J. ACM Tomás Brázdil, Stefan Kiefer, Antonín Kucera
2014	A*	`conf`	Minimizing Running Costs in Consumption Systems. CAV Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
2014	J	`jnl`	Minimizing Running Costs in Consumption Systems. CoRR Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
2014	J	`jnl`	Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. CoRR Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
2014	A	`conf`	Solving adversarial patrolling games with bounded error: (extended abstract). AAMAS Michal Abaffy, Tomás Brázdil, Vojtech Rehák, Branislav Bosanský, Antonín Kucera, Jan Krcál
2014	J	`jnl`	Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Log. Methods Comput. Sci. Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2014	B	`conf`	Verification of Markov Decision Processes Using Learning Algorithms. ATVA Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014	J	`jnl`	Verification of Markov Decision Processes using Learning Algorithms. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014	J	`jnl`	Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
2014	—	`conf`	Zero-reachability in probabilistic multi-counter automata. CSL-LICS Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
2013	J	`jnl`	Analyzing probabilistic pushdown automata. Formal Methods Syst. Des. Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera
2013	J	`jnl`	Approximating the termination value of one-counter MDPs and stochastic games. Inf. Comput. Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
2013	J	`jnl`	Continuous-time stochastic games with time-bounded reachability. Inf. Comput. Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera
2013	B	`conf`	On time-average limits in deterministic and stochastic petri nets. ICPE Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák
2013	—	`conf`	Solvency Markov Decision Processes with Interest. FSTTCS Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
2013	J	`jnl`	Solvency Markov Decision Processes with Interest. CoRR Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
2013	J	`jnl`	Trading Performance for Stability in Markov Decision Processes CoRR Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2013	A*	`conf`	Trading Performance for Stability in Markov Decision Processes. LICS Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2012	J	`jnl`	Determinacy in Stochastic Games with Unbounded Payoff Functions CoRR Tomás Brázdil, Antonín Kucera, Petr Novotný
2012	—	`conf`	Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS Tomás Brázdil, Antonín Kucera, Petr Novotný
2012	J	`jnl`	Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
2012	A*	`conf`	Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
2012	J	`jnl`	Minimizing Expected Termination Time in One-Counter Markov Decision Processes CoRR Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
2012	—	`conf`	Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
2012	J	`jnl`	Space-efficient scheduling of stochastically generated tasks. Inf. Comput. Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2012	A	`conf`	Stabilization of Branching Queueing Networks. STACS Tomás Brázdil, Stefan Kiefer
2012	J	`jnl`	Stochastic game logic. Acta Informatica Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
2012	—	`conf`	Verification of Open Interactive Markov Chains. FSTTCS Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák
2011	J	`jnl`	Approximating the Termination Value of One-Counter MDPs and Stochastic Games CoRR Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
2011	—	`conf`	Approximating the Termination Value of One-Counter MDPs and Stochastic Games. ICALP (2) Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
2011	J	`jnl`	Efficient Analysis of Probabilistic Programs with an Unbounded Counter CoRR Tomás Brázdil, Stefan Kiefer, Antonín Kucera
2011	A*	`conf`	Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CAV Tomás Brázdil, Stefan Kiefer, Antonín Kucera
2011	B	`conf`	Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
2011	J	`jnl`	Fixed-delay Events in Generalized Semi-Markov Processes Revisited CoRR Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
2011	J	`jnl`	Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
2011	—	`conf`	Measuring performance of continuous-time stochastic processes using timed automata. HSCC Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
2011	J	`jnl`	Qualitative reachability in stochastic BPA games. Inf. Comput. Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
2011	—	`conf`	Runtime Analysis of Probabilistic Programs with Unbounded Recursion. ICALP (2) Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
2011	J	`jnl`	Stabilization of Branching Queueing Networks CoRR Tomás Brázdil, Stefan Kiefer
2011	A*	`conf`	Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
2010	A*	`conf`	One-Counter Markov Decision Processes. SODA Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
2010	J	`jnl`	One-Counter Stochastic Games CoRR Tomás Brázdil, Václav Brozek, Kousha Etessami
2010	—	`conf`	One-Counter Stochastic Games. FSTTCS Tomás Brázdil, Václav Brozek, Kousha Etessami
2010	J	`jnl`	Qualitative Reachability in Stochastic BPA Games CoRR Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
2010	J	`jnl`	Reachability Games on Extended Vector Addition Systems with States CoRR Tomás Brázdil, Petr Jancar, Antonín Kucera
2010	—	`conf`	Reachability Games on Extended Vector Addition Systems with States. ICALP (2) Tomás Brázdil, Petr Jancar, Antonín Kucera
2010	J	`jnl`	Runtime Analysis of Probabilistic Programs with Unbounded Recursion CoRR Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
2010	—	`conf`	Space-Efficient Scheduling of Stochastically Generated Tasks. ICALP (2) Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010	J	`jnl`	Space-efficient scheduling of stochastically generated tasks CoRR Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger
2010	B	`conf`	Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
2009	—	`conf`	Branching-Time Model-Checking of Probabilistic Pushdown Automata. INFINITY Tomás Brázdil, Václav Brozek, Vojtech Forejt
2009	—	`conf`	Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera
2009	—	`conf`	On the Memory Consumption of Probabilistic Pushdown Automata. FSTTCS Tomás Brázdil, Javier Esparza, Stefan Kiefer
2009	J	`jnl`	One-Counter Markov Decision Processes CoRR Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
2009	A	`conf`	Qualitative Reachability in Stochastic BPA Games. STACS Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
2008	—	`conf`	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. ICALP (2) Tomás Brázdil, Vojtech Forejt, Antonín Kucera
2008	J	`jnl`	Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Informatica Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
2008	B	`conf`	Discounted Properties of Probabilistic Pushdown Automata. LPAR Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera
2008	J	`jnl`	Reachability in recursive Markov decision processes. Inf. Comput. Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
2008	A*	`conf`	The Satisfiability Problem for Probabilistic CTL. LICS Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera
2007	—	`conf`	Stochastic Game Logic. QEST Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
2007	B	`conf`	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. CONCUR Tomás Brázdil, Vojtech Forejt
2006	J	`jnl`	Model Checking of RegCTL. Comput. Artif. Intell. Tomás Brázdil, Ivana Cerná
2006	B	`conf`	Reachability in Recursive Markov Decision Processes. CONCUR Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
2006	A*	`conf`	Stochastic Games with Branching-Time Winning Objectives. LICS Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
2005	A*	`conf`	Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). FOCS Tomás Brázdil, Javier Esparza, Antonín Kucera
2005	—	`conf`	Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. FSTTCS Tomás Brázdil, Antonín Kucera
2005	A	`conf`	On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. STACS Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
2004	B	`conf`	Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR Tomás Brázdil, Antonín Kucera, Oldrich Strazovský
2002	—	`conf`	Local Distributed Model Checking of RegCTL. PDMC@CONCUR Tomás Brázdil, Ivana Cerná