Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tomás Brázdil
@article{DBLP:journals/corr/abs-2403-09184,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Kwiatkowska and
Tobias Meggendorfer and
David Parker and
Mateusz Ujma},
title = {Learning Algorithms for Verification of Markov Decision Processes},
journal = {CoRR},
volume = {abs/2403.09184},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.09184},
doi = {10.48550/ARXIV.2403.09184},
eprinttype = {arXiv},
eprint = {2403.09184},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-09184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/HorakFKBHKGNBR23,
author = {Jir{\'{\i}} Hor{\'{a}}k and
Katar{\'{\i}}na Furmanov{\'{a}} and
Barbora Kozl{\'{\i}}kov{\'{a}} and
Tom{\'{a}}s Br{\'{a}}zdil and
Petr Holub and
M. Kacenga and
Matej Gallo and
R. Nenutil and
Jan Byska and
V{\'{\i}}t Rusn{\'{a}}k},
title = {xOpat: eXplainable Open Pathology Analysis Tool},
journal = {Comput. Graph. Forum},
volume = {42},
number = {3},
pages = {63--73},
year = {2023},
url = {https://doi.org/10.1111/cgf.14812},
doi = {10.1111/CGF.14812},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/HorakFKBHKGNBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BrazdilK0M0R22,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
V{\'{\i}}t Musil and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {James Cussens and
Kun Zhang},
title = {On-the-fly adaptation of patrolling strategies in changing environments},
booktitle = {Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth
Conference on Uncertainty in Artificial Intelligence, {UAI} 2022,
1-5 August 2022, Eindhoven, The Netherlands},
series = {Proceedings of Machine Learning Research},
volume = {180},
pages = {244--254},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v180/brazdil22a.html},
timestamp = {Sat, 15 Oct 2022 12:08:13 +0200},
biburl = {https://dblp.org/rec/conf/uai/BrazdilK0M0R22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08096,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
V{\'{\i}}t Musil and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {On-the-fly Adaptation of Patrolling Strategies in Changing Environments},
journal = {CoRR},
volume = {abs/2206.08096},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08096},
doi = {10.48550/ARXIV.2206.08096},
eprinttype = {arXiv},
eprint = {2206.08096},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrazdilC0V20,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Jiri Vahala},
title = {Reinforcement Learning of Risk-Constrained Policies in Markov Decision
Processes},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9794--9801},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6531},
doi = {10.1609/AAAI.V34I06.6531},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrazdilC0V20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlahoudekB0OTT20,
author = {Frantisek Blahoudek and
Tom{\'{a}}s Br{\'{a}}zdil and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Qualitative Controller Synthesis for Consumption Markov Decision Processes},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {421--447},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_22},
doi = {10.1007/978-3-030-53291-8\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlahoudekB0OTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12086,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Jiri Vahala},
title = {Reinforcement Learning of Risk-Constrained Policies in Markov Decision
Processes},
journal = {CoRR},
volume = {abs/2002.12086},
year = {2020},
url = {https://arxiv.org/abs/2002.12086},
eprinttype = {arXiv},
eprint = {2002.12086},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07227,
author = {Frantisek Blahoudek and
Tom{\'{a}}s Br{\'{a}}zdil and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
title = {Qualitative Controller Synthesis for Consumption Markov Decision Processes},
journal = {CoRR},
volume = {abs/2005.07227},
year = {2020},
url = {https://arxiv.org/abs/2005.07227},
eprinttype = {arXiv},
eprint = {2005.07227},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlechinaBGFLV19,
author = {Natasha Alechina and
Tom{\'{a}}s Br{\'{a}}zdil and
Giuseppe De Giacomo and
Paolo Felli and
Brian Logan and
Moshe Y. Vardi},
title = {Unbounded Orchestrations of Transducers for Manufacturing},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2646--2653},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012646},
doi = {10.1609/AAAI.V33I01.33012646},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlechinaBGFLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrazdilC00V19,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Deciding Fast Termination for Probabilistic {VASS} with Nondeterminism},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {462--478},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_27},
doi = {10.1007/978-3-030-31784-3\_27},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/BrazdilC00V19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AshokBCKLT19,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Christoph H. Lampert and
Viktor Toman},
editor = {David Parker and
Verena Wolf},
title = {Strategy Representation by Decision Trees with Linear Classifiers},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {109--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_7},
doi = {10.1007/978-3-030-30281-8\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AshokBCKLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08178,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Christoph H. Lampert and
Viktor Toman},
title = {Strategy Representation by Decision Trees with Linear Classifiers},
journal = {CoRR},
volume = {abs/1906.08178},
year = {2019},
url = {http://arxiv.org/abs/1906.08178},
eprinttype = {arXiv},
eprint = {1906.08178},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11010,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan},
title = {Deciding Fast Termination for Probabilistic {VASS} with Nondeterminism},
journal = {CoRR},
volume = {abs/1907.11010},
year = {2019},
url = {http://arxiv.org/abs/1907.11010},
eprinttype = {arXiv},
eprint = {1907.11010},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrazdilKR18,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Solving Patrolling Problems in the Internet Environment},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {121--127},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/17},
doi = {10.24963/IJCAI.2018/17},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrazdilKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AshokBKS18,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Jan Kret{\'{\i}}nsk{\'{y}} and
Ondrej Sl{\'{a}}mecka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Monte Carlo Tree Search for Verifying Reachability in Markov Decision
Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {322--335},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_21},
doi = {10.1007/978-3-030-03421-4\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AshokBKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilCK0VZ18,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan and
Florian Zuleger},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Efficient Algorithms for Asymptotic Bounds on Termination Time in
{VASS}},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {185--194},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209191},
doi = {10.1145/3209108.3209191},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BrazdilCK0VZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrazdilCKT18,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Viktor Toman},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Strategy Representation by Decision Trees in Reactive Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {385--407},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_21},
doi = {10.1007/978-3-319-89960-2\_21},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrazdilCKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00758,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Viktor Toman},
title = {Strategy Representation by Decision Trees in Reactive Synthesis},
journal = {CoRR},
volume = {abs/1802.00758},
year = {2018},
url = {http://arxiv.org/abs/1802.00758},
eprinttype = {arXiv},
eprint = {1802.00758},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10985,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan and
Florian Zuleger},
title = {Efficient Algorithms for Asymptotic Bounds on Termination Time in
{VASS}},
journal = {CoRR},
volume = {abs/1804.10985},
year = {2018},
url = {http://arxiv.org/abs/1804.10985},
eprinttype = {arXiv},
eprint = {1804.10985},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02861,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
title = {Synthesizing Efficient Solutions for Patrolling Problems in the Internet
Environment},
journal = {CoRR},
volume = {abs/1805.02861},
year = {2018},
url = {http://arxiv.org/abs/1805.02861},
eprinttype = {arXiv},
eprint = {1805.02861},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-03299,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Jan Kret{\'{\i}}nsk{\'{y}} and
Ondrej Sl{\'{a}}mecka},
title = {Monte Carlo Tree Search for Verifying Reachability in Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1809.03299},
year = {2018},
url = {http://arxiv.org/abs/1809.03299},
eprinttype = {arXiv},
eprint = {1809.03299},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrazdilCFK17,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Trading performance for stability in Markov decision processes},
journal = {J. Comput. Syst. Sci.},
volume = {84},
pages = {144--170},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.09.009},
doi = {10.1016/J.JCSS.2016.09.009},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrazdilCFK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BartocciBBMS17,
author = {Ezio Bartocci and
Luca Bortolussi and
Tom{\'{a}}s Br{\'{a}}zdil and
Dimitrios Milios and
Guido Sanguinetti},
title = {Policy learning in continuous-time Markov decision processes using
Gaussian Processes},
journal = {Perform. Evaluation},
volume = {116},
pages = {84--100},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.08.007},
doi = {10.1016/J.PEVA.2017.08.007},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/BartocciBBMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-09253,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan},
title = {Efficient Algorithms for Checking Fast Termination in {VASS}},
journal = {CoRR},
volume = {abs/1708.09253},
year = {2017},
url = {http://arxiv.org/abs/1708.09253},
eprinttype = {arXiv},
eprint = {1708.09253},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-09253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BrazdilCCGN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Anchit Gupta and
Petr Novotn{\'{y}}},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended
Abstract)},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1465--1466},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937212},
timestamp = {Thu, 16 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BrazdilCCGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrazdilKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Optimizing the Expected Mean Payoff in Energy Markov Decision Processes},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {32--49},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_3},
doi = {10.1007/978-3-319-46520-3\_3},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BrazdilKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilFKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Stability in Graphs and Games},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {10:1--10:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.10},
doi = {10.4230/LIPICS.CONCUR.2016.10},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrazdilFKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BartocciBBMS16,
author = {Ezio Bartocci and
Luca Bortolussi and
Tom{\'{a}}s Br{\'{a}}zdil and
Dimitrios Milios and
Guido Sanguinetti},
editor = {Gul Agha and
Benny Van Houdt},
title = {Policy Learning for Time-Bounded Reachability in Continuous-Time Markov
Decision Processes via Doubly-Stochastic Gradient Ascent},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {244--259},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_17},
doi = {10.1007/978-3-319-43425-4\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BartocciBBMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCCGN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Anchit Gupta and
Petr Novotn{\'{y}}},
title = {Stochastic Shortest Path with Energy Constraints in POMDPs},
journal = {CoRR},
volume = {abs/1602.07565},
year = {2016},
url = {http://arxiv.org/abs/1602.07565},
eprinttype = {arXiv},
eprint = {1602.07565},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCCGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilFKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Stability in Graphs and Games},
journal = {CoRR},
volume = {abs/1604.06386},
year = {2016},
url = {http://arxiv.org/abs/1604.06386},
eprinttype = {arXiv},
eprint = {1604.06386},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilFKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartocciBBMS16,
author = {Ezio Bartocci and
Luca Bortolussi and
Tom{\'{a}}s Br{\'{a}}zdil and
Dimitrios Milios and
Guido Sanguinetti},
title = {Policy learning for time-bounded reachability in Continuous-Time Markov
Decision Processes via doubly-stochastic gradient ascent},
journal = {CoRR},
volume = {abs/1605.09703},
year = {2016},
url = {http://arxiv.org/abs/1605.09703},
eprinttype = {arXiv},
eprint = {1605.09703},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartocciBBMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Optimizing the Expected Mean Payoff in Energy Markov Decision Processes},
journal = {CoRR},
volume = {abs/1607.00678},
year = {2016},
url = {http://arxiv.org/abs/1607.00678},
eprinttype = {arXiv},
eprint = {1607.00678},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrazdilKKV15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Ivana Hutarov{\'{a}} Varekov{\'{a}}},
title = {Runtime analysis of probabilistic programs with unbounded recursion},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {1},
pages = {288--310},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2014.06.005},
doi = {10.1016/J.JCSS.2014.06.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrazdilKKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilCCFK15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Andreas Fellner and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Counterexample Explanation by Learning Small Strategies in Markov
Decision Processes},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {158--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_10},
doi = {10.1007/978-3-319-21690-4\_10},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/BrazdilCCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilKKN15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Long-Run Average Behaviour of Probabilistic Vector Addition Systems},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {44--55},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.15},
doi = {10.1109/LICS.2015.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilKKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BrazdilKKNR15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Lubos Korenciak and
Jan Krc{\'{a}}l and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {Optimizing Performance of Continuous-Time Stochastic Systems Using
Timeout Synthesis},
booktitle = {Quantitative Evaluation of Systems, 12th International Conference,
{QEST} 2015, Madrid, Spain, September 1-3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9259},
pages = {141--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_10},
doi = {10.1007/978-3-319-22264-6\_10},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/BrazdilKKNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrazdilCFK15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
editor = {Christel Baier and
Cesare Tinelli},
title = {MultiGain: {A} Controller Synthesis Tool for MDPs with Multiple Mean-Payoff
Objectives},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {181--187},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_12},
doi = {10.1007/978-3-662-46681-0\_12},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrazdilCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCFK15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {MultiGain: {A} controller synthesis tool for MDPs with multiple mean-payoff
objectives},
journal = {CoRR},
volume = {abs/1501.03093},
year = {2015},
url = {http://arxiv.org/abs/1501.03093},
eprinttype = {arXiv},
eprint = {1501.03093},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCCFK15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Andreas Fellner and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Counterexample Explanation by Learning Small Strategies in Markov
Decision Processes},
journal = {CoRR},
volume = {abs/1502.02834},
year = {2015},
url = {http://arxiv.org/abs/1502.02834},
eprinttype = {arXiv},
eprint = {1502.02834},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKN15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Long-Run Average Behaviour of Probabilistic Vector Addition Systems},
journal = {CoRR},
volume = {abs/1505.02655},
year = {2015},
url = {http://arxiv.org/abs/1505.02655},
eprinttype = {arXiv},
eprint = {1505.02655},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilHKRA15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k and
Mat{\'{u}}s Abaffy},
title = {Strategy Synthesis in Adversarial Patrolling Games},
journal = {CoRR},
volume = {abs/1507.03407},
year = {2015},
url = {http://arxiv.org/abs/1507.03407},
eprinttype = {arXiv},
eprint = {1507.03407},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilHKRA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3489,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {1},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(1:13)2014},
doi = {10.2168/LMCS-10(1:13)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BrazdilKK14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera},
title = {Efficient Analysis of Probabilistic Programs with an Unbounded Counter},
journal = {J. {ACM}},
volume = {61},
number = {6},
pages = {41:1--41:35},
year = {2014},
url = {https://doi.org/10.1145/2629599},
doi = {10.1145/2629599},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BrazdilKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BrazdilBFK14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Branching-time model-checking of probabilistic pushdown automata},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {1},
pages = {139--156},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.07.001},
doi = {10.1016/J.JCSS.2013.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BrazdilBFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AbaffyBRBKK14,
author = {Michal Abaffy and
Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Reh{\'{a}}k and
Branislav Bosansk{\'{y}} and
Anton{\'{\i}}n Kucera and
Jan Krc{\'{a}}l},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Solving adversarial patrolling games with bounded error: (extended
abstract)},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1617--1618},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2616090},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AbaffyBRBKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrazdilCCFKKPU14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Z. Kwiatkowska and
David Parker and
Mateusz Ujma},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Verification of Markov Decision Processes Using Learning Algorithms},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {98--114},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_8},
doi = {10.1007/978-3-319-11936-6\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BrazdilCCFKKPU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilKKN14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Armin Biere and
Roderick Bloem},
title = {Minimizing Running Costs in Consumption Systems},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {457--472},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_30},
doi = {10.1007/978-3-319-08867-9\_30},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/BrazdilKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BrazdilKKNK14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Joost{-}Pieter Katoen},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Zero-reachability in probabilistic multi-counter automata},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {22:1--22:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603161},
doi = {10.1145/2603088.2603161},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BrazdilKKNK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKNK14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Joost{-}Pieter Katoen},
title = {Zero-Reachability in Probabilistic Multi-Counter Automata},
journal = {CoRR},
volume = {abs/1401.6840},
year = {2014},
url = {http://arxiv.org/abs/1401.6840},
eprinttype = {arXiv},
eprint = {1401.6840},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKNK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCCFKKPU14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Z. Kwiatkowska and
David Parker and
Mateusz Ujma},
title = {Verification of Markov Decision Processes using Learning Algorithms},
journal = {CoRR},
volume = {abs/1402.2967},
year = {2014},
url = {http://arxiv.org/abs/1402.2967},
eprinttype = {arXiv},
eprint = {1402.2967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCCFKKPU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKN14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Minimizing Running Costs in Consumption Systems},
journal = {CoRR},
volume = {abs/1402.4995},
year = {2014},
url = {http://arxiv.org/abs/1402.4995},
eprinttype = {arXiv},
eprint = {1402.4995},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKNR14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Lubos Korenciak and
Jan Krc{\'{a}}l and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {Optimizing Performance of Continuous-Time Stochastic Systems using
Timeout Synthesis},
journal = {CoRR},
volume = {abs/1407.4777},
year = {2014},
url = {http://arxiv.org/abs/1407.4777},
eprinttype = {arXiv},
eprint = {1407.4777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrazdilEKK13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Anton{\'{\i}}n Kucera},
title = {Analyzing probabilistic pushdown automata},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {2},
pages = {124--163},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0166-0},
doi = {10.1007/S10703-012-0166-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BrazdilEKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilBEK13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami and
Anton{\'{\i}}n Kucera},
title = {Approximating the termination value of one-counter MDPs and stochastic
games},
journal = {Inf. Comput.},
volume = {222},
pages = {121--138},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.01.008},
doi = {10.1016/J.IC.2012.01.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilBEK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilFKKK13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Continuous-time stochastic games with time-bounded reachability},
journal = {Inf. Comput.},
volume = {224},
pages = {46--70},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.01.001},
doi = {10.1016/J.IC.2013.01.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilFKKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilCFNS13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Taolue Chen and
Vojtech Forejt and
Petr Novotn{\'{y}} and
Aistis Simaitis},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Solvency Markov Decision Processes with Interest},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {487--499},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.487},
doi = {10.4230/LIPICS.FSTTCS.2013.487},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilCFNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilCFK13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Trading Performance for Stability in Markov Decision Processes},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {331--340},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.39},
doi = {10.1109/LICS.2013.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilCFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BrazdilKKKR13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Lubos Korenciak and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Seetharami Seelam and
Petr Tuma and
Giuliano Casale and
Tony Field and
Jos{\'{e}} Nelson Amaral},
title = {On time-average limits in deterministic and stochastic petri nets},
booktitle = {{ACM/SPEC} International Conference on Performance Engineering, ICPE'13,
Prague, Czech Republic - April 21 - 24, 2013},
pages = {421--422},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2479871.2479936},
doi = {10.1145/2479871.2479936},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/BrazdilKKKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-4103,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Trading Performance for Stability in Markov Decision Processes},
journal = {CoRR},
volume = {abs/1305.4103},
year = {2013},
url = {http://arxiv.org/abs/1305.4103},
eprinttype = {arXiv},
eprint = {1305.4103},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-4103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCFNS13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Taolue Chen and
Vojtech Forejt and
Petr Novotn{\'{y}} and
Aistis Simaitis},
title = {Solvency Markov Decision Processes with Interest},
journal = {CoRR},
volume = {abs/1310.3119},
year = {2013},
url = {http://arxiv.org/abs/1310.3119},
eprinttype = {arXiv},
eprint = {1310.3119},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCFNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BaierBGK12,
author = {Christel Baier and
Tom{\'{a}}s Br{\'{a}}zdil and
Marcus Gr{\"{o}}{\ss}er and
Anton{\'{\i}}n Kucera},
title = {Stochastic game logic},
journal = {Acta Informatica},
volume = {49},
number = {4},
pages = {203--224},
year = {2012},
url = {https://doi.org/10.1007/s00236-012-0156-0},
doi = {10.1007/S00236-012-0156-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BaierBGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilEKL12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Space-efficient scheduling of stochastically generated tasks},
journal = {Inf. Comput.},
volume = {210},
pages = {87--110},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.10.005},
doi = {10.1016/J.IC.2011.10.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilEKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilCKN12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Efficient Controller Synthesis for Consumption Games with Multiple
Resource Types},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {23--38},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_8},
doi = {10.1007/978-3-642-31424-7\_8},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrazdilCKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilHKKR12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Verification of Open Interactive Markov Chains},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {474--485},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.474},
doi = {10.4230/LIPICS.FSTTCS.2012.474},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilHKKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilKNW12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Wojtczak},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Minimizing Expected Termination Time in One-Counter Markov Decision
Processes},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {141--152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_16},
doi = {10.1007/978-3-642-31585-5\_16},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilKNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/BrazdilKN12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Anton{\'{\i}}n Kucera and
Thomas A. Henzinger and
Jaroslav Nesetril and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Determinacy in Stochastic Games with Unbounded Payoff Functions},
booktitle = {Mathematical and Engineering Methods in Computer Science, 8th International
Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7721},
pages = {94--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36046-6\_10},
doi = {10.1007/978-3-642-36046-6\_10},
timestamp = {Fri, 30 Aug 2019 10:02:27 +0200},
biburl = {https://dblp.org/rec/conf/memics/BrazdilKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BrazdilK12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer},
editor = {Christoph D{\"{u}}rr and
Thomas Wilke},
title = {Stabilization of Branching Queueing Networks},
booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
series = {LIPIcs},
volume = {14},
pages = {507--518},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.STACS.2012.507},
doi = {10.4230/LIPICS.STACS.2012.507},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BrazdilK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0796,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Efficient Controller Synthesis for Consumption Games with Multiple
Resource Types},
journal = {CoRR},
volume = {abs/1202.0796},
year = {2012},
url = {http://arxiv.org/abs/1202.0796},
eprinttype = {arXiv},
eprint = {1202.0796},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-1473,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Wojtczak},
title = {Minimizing Expected Termination Time in One-Counter Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1205.1473},
year = {2012},
url = {http://arxiv.org/abs/1205.1473},
eprinttype = {arXiv},
eprint = {1205.1473},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-1473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-1639,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Determinacy in Stochastic Games with Unbounded Payoff Functions},
journal = {CoRR},
volume = {abs/1208.1639},
year = {2012},
url = {http://arxiv.org/abs/1208.1639},
eprinttype = {arXiv},
eprint = {1208.1639},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-1639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilBKO11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Anton{\'{\i}}n Kucera and
Jan Obdrz{\'{a}}lek},
title = {Qualitative reachability in stochastic {BPA} games},
journal = {Inf. Comput.},
volume = {209},
number = {8},
pages = {1160--1183},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2011.02.002},
doi = {10.1016/J.IC.2011.02.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilBKO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilKK11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Efficient Analysis of Probabilistic Programs with an Unbounded Counter},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {208--224},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_18},
doi = {10.1007/978-3-642-22110-1\_18},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrazdilKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilKKR11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Fixed-Delay Events in Generalized Semi-Markov Processes Revisited},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {140--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_10},
doi = {10.1007/978-3-642-23217-6\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilKKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrazdilKKKR11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Measuring performance of continuous-time stochastic processes using
timed automata},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {33--42},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967709},
doi = {10.1145/1967701.1967709},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BrazdilKKKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilKKV11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Ivana Hutarov{\'{a}} Varekov{\'{a}}},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Runtime Analysis of Probabilistic Programs with Unbounded Recursion},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {319--331},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_25},
doi = {10.1007/978-3-642-22012-8\_25},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilKKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilBEK11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami and
Anton{\'{\i}}n Kucera},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Approximating the Termination Value of One-Counter MDPs and Stochastic
Games},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {332--343},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_26},
doi = {10.1007/978-3-642-22012-8\_26},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilBEK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilBCFK11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Krishnendu Chatterjee and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.10},
doi = {10.1109/LICS.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilBCFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4204,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
title = {Measuring Performance of Continuous-Time Stochastic Processes using
Timed Automata},
journal = {CoRR},
volume = {abs/1101.4204},
year = {2011},
url = {http://arxiv.org/abs/1101.4204},
eprinttype = {arXiv},
eprint = {1101.4204},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-2529,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera},
title = {Efficient Analysis of Probabilistic Programs with an Unbounded Counter},
journal = {CoRR},
volume = {abs/1102.2529},
year = {2011},
url = {http://arxiv.org/abs/1102.2529},
eprinttype = {arXiv},
eprint = {1102.2529},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4978,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami and
Anton{\'{\i}}n Kucera},
title = {Approximating the Termination Value of One-Counter MDPs and Stochastic
Games},
journal = {CoRR},
volume = {abs/1104.4978},
year = {2011},
url = {http://arxiv.org/abs/1104.4978},
eprinttype = {arXiv},
eprint = {1104.4978},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1424,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {Fixed-delay Events in Generalized Semi-Markov Processes Revisited},
journal = {CoRR},
volume = {abs/1106.1424},
year = {2011},
url = {http://arxiv.org/abs/1106.1424},
eprinttype = {arXiv},
eprint = {1106.1424},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-1041,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer},
title = {Stabilization of Branching Queueing Networks},
journal = {CoRR},
volume = {abs/1112.1041},
year = {2011},
url = {http://arxiv.org/abs/1112.1041},
eprinttype = {arXiv},
eprint = {1112.1041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-1041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilKKKR10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Stochastic Real-Time Games with Qualitative Timed Automata Objectives},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {207--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_15},
doi = {10.1007/978-3-642-15375-4\_15},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilKKKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilBE10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {One-Counter Stochastic Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {108--119},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.108},
doi = {10.4230/LIPICS.FSTTCS.2010.108},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilBE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilJK10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Petr Jancar and
Anton{\'{\i}}n Kucera},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Reachability Games on Extended Vector Addition Systems with States},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {478--489},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_40},
doi = {10.1007/978-3-642-14162-1\_40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilEKL10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Space-Efficient Scheduling of Stochastically Generated Tasks},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {539--550},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_45},
doi = {10.1007/978-3-642-14162-1\_45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilEKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/BrazdilBEKW10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami and
Anton{\'{\i}}n Kucera and
Dominik Wojtczak},
editor = {Moses Charikar},
title = {One-Counter Markov Decision Processes},
booktitle = {Proceedings of the Twenty-First Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2010, Austin, Texas, USA, January 17-19, 2010},
pages = {863--874},
publisher = {{SIAM}},
year = {2010},
url = {https://doi.org/10.1137/1.9781611973075.70},
doi = {10.1137/1.9781611973075.70},
timestamp = {Tue, 02 Feb 2021 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/soda/BrazdilBEKW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-2557,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Petr Jancar and
Anton{\'{\i}}n Kucera},
title = {Reachability Games on Extended Vector Addition Systems with States},
journal = {CoRR},
volume = {abs/1002.2557},
year = {2010},
url = {http://arxiv.org/abs/1002.2557},
eprinttype = {arXiv},
eprint = {1002.2557},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-0118,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Anton{\'{\i}}n Kucera and
Jan Obdrz{\'{a}}lek},
title = {Qualitative Reachability in Stochastic {BPA} Games},
journal = {CoRR},
volume = {abs/1003.0118},
year = {2010},
url = {http://arxiv.org/abs/1003.0118},
eprinttype = {arXiv},
eprint = {1003.0118},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-0118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4286,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Space-efficient scheduling of stochastically generated tasks},
journal = {CoRR},
volume = {abs/1004.4286},
year = {2010},
url = {http://arxiv.org/abs/1004.4286},
eprinttype = {arXiv},
eprint = {1004.4286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-1710,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Ivana Hutarov{\'{a}} Varekov{\'{a}}},
title = {Runtime Analysis of Probabilistic Programs with Unbounded Recursion},
journal = {CoRR},
volume = {abs/1007.1710},
year = {2010},
url = {http://arxiv.org/abs/1007.1710},
eprinttype = {arXiv},
eprint = {1007.1710},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-5636,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami},
title = {One-Counter Stochastic Games},
journal = {CoRR},
volume = {abs/1009.5636},
year = {2010},
url = {http://arxiv.org/abs/1009.5636},
eprinttype = {arXiv},
eprint = {1009.5636},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-5636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilEK09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On the Memory Consumption of Probabilistic Pushdown Automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {49--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2306},
doi = {10.4230/LIPICS.FSTTCS.2009.2306},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilFKKK09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {61--72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2307},
doi = {10.4230/LIPICS.FSTTCS.2009.2307},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilFKKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BrazdilBKO09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Anton{\'{\i}}n Kucera and
Jan Obdrz{\'{a}}lek},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {Qualitative Reachability in Stochastic {BPA} Games},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {207--218},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1837},
doi = {10.4230/LIPICS.STACS.2009.1837},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BrazdilBKO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrazdilBF09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Vojtech Forejt},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Branching-Time Model-Checking of Probabilistic Pushdown Automata},
booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {73--83},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.031},
doi = {10.1016/J.ENTCS.2009.05.031},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrazdilBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2511,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Kousha Etessami and
Anton{\'{\i}}n Kucera and
Dominik Wojtczak},
title = {One-Counter Markov Decision Processes},
journal = {CoRR},
volume = {abs/0904.2511},
year = {2009},
url = {http://arxiv.org/abs/0904.2511},
eprinttype = {arXiv},
eprint = {0904.2511},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BrazdilKS08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Oldrich Strazovsk{\'{y}}},
title = {Deciding probabilistic bisimilarity over infinite-state probabilistic
systems},
journal = {Acta Informatica},
volume = {45},
number = {2},
pages = {131--154},
year = {2008},
url = {https://doi.org/10.1007/s00236-007-0066-8},
doi = {10.1007/S00236-007-0066-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BrazdilKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilBFK08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Reachability in recursive Markov decision processes},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {520--537},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.09.002},
doi = {10.1016/J.IC.2007.09.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilBFK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilFK08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Controller Synthesis and Verification for Markov Decision Processes
with Qualitative Branching Time Objectives},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {148--159},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_13},
doi = {10.1007/978-3-540-70583-3\_13},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilFK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilFKK08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {The Satisfiability Problem for Probabilistic {CTL}},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {391--402},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.21},
doi = {10.1109/LICS.2008.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilFKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BrazdilBHK08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Jan Holecek and
Anton{\'{\i}}n Kucera},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Discounted Properties of Probabilistic Pushdown Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {230--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_17},
doi = {10.1007/978-3-540-89439-1\_17},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BrazdilBHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilF07,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Strategy Synthesis for Markov Decision Processes and Branching-Time
Logics},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {428--444},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_29},
doi = {10.1007/978-3-540-74407-8\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BaierBGK07,
author = {Christel Baier and
Tom{\'{a}}s Br{\'{a}}zdil and
Marcus Gr{\"{o}}{\ss}er and
Anton{\'{\i}}n Kucera},
title = {Stochastic Game Logic},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {227--236},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.38},
doi = {10.1109/QEST.2007.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BaierBGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BrazdilC06,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Ivana Cern{\'{a}}},
title = {Model Checking of RegCTL},
journal = {Comput. Artif. Intell.},
volume = {25},
number = {1},
pages = {81--97},
year = {2006},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/334},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BrazdilC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilBFK06,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
editor = {Christel Baier and
Holger Hermanns},
title = {Reachability in Recursive Markov Decision Processes},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {358--374},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_24},
doi = {10.1007/11817949\_24},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilBFK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilBFK06,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Vojtech Forejt and
Anton{\'{\i}}n Kucera},
title = {Stochastic Games with Branching-Time Winning Objectives},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {349--358},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.48},
doi = {10.1109/LICS.2006.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilBFK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BrazdilEK05,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Anton{\'{\i}}n Kucera},
title = {Analysis and Prediction of the Long-Run Behavior of Probabilistic
Sequential Programs with Recursion (Extended Abstract)},
booktitle = {46th Annual {IEEE} Symposium on Foundations of Computer Science {(FOCS}
2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings},
pages = {521--530},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SFCS.2005.19},
doi = {10.1109/SFCS.2005.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BrazdilEK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilK05,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {Computing the Expected Accumulated Reward and Gain for a Subclass
of Infinite Markov Chains},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {372--383},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_30},
doi = {10.1007/11590156\_30},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BrazdilKS05,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Oldrich Strazovsk{\'{y}}},
editor = {Volker Diekert and
Bruno Durand},
title = {On the Decidability of Temporal Properties of Probabilistic Pushdown
Automata},
booktitle = {{STACS} 2005, 22nd Annual Symposium on Theoretical Aspects of Computer
Science, Stuttgart, Germany, February 24-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3404},
pages = {145--157},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31856-9\_12},
doi = {10.1007/978-3-540-31856-9\_12},
timestamp = {Wed, 19 May 2021 12:05:43 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BrazdilKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilKS04,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Oldrich Strazovsk{\'{y}}},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic
Systems},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {193--208},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_13},
doi = {10.1007/978-3-540-28644-8\_13},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrazdilKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrazdilC02,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Ivana Cern{\'{a}}},
editor = {Lubos Brim and
Orna Grumberg},
title = {Local Distributed Model Checking of RegCTL},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {575--588},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80393-7},
doi = {10.1016/S1571-0661(05)80393-7},
timestamp = {Tue, 06 Dec 2022 11:23:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrazdilC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
