Filtrování publikací

    2014

    1. Branching-time model-checking of probabilistic pushdown automata
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Branching-time model-checking of probabilistic pushdown automata. Journal of Computer and System Sciences. Academic Press, 2014, roč. 80, č. 1, s. 139-156. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2013.07.001.
      RIV/00216224:14330/14:00073430 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Brožek, Václav (203 Česká republika, domácí) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov chains; pushdown automata
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 03:17.
      Podrobněji: https://is.muni.cz/publication/1130512/cs
    2. Markov Decision Processes with Multiple Long-Run Average Objectives
      BRÁZDIL, Tomáš, Václav BROŽEK, Krishnendu CHATTERJEE, Vojtěch FOREJT a Antonín KUČERA. Markov Decision Processes with Multiple Long-Run Average Objectives. Logical Methods in Computer Science. Technical University of Braunschweig, 2014, roč. 10, č. 1, s. 1-29. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.2168/LMCS-10(1:13)2014.
      URL
      RIV/00216224:14330/14:00074494 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Brožek, Václav (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision processes; mean-payoff reward; multi-objective optimisation; formal verification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 17. 6. 2016 10:25.
      Podrobněji: https://is.muni.cz/publication/1232717/cs

    2013

    1. Approximating the termination value of one-counter MDPs and stochastic games
      BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI a Antonín KUČERA. Approximating the termination value of one-counter MDPs and stochastic games. Information and Computation. Netherlands: Elsevier Science, 2013, roč. 222, January, s. 121-138. ISSN 0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2012.01.008.
      Název česky: Aproximace hodnoty terminování pro jednočítačové rozhodovací procesy a stochastické hry
      Název anglicky: Approximating the termination value of one-counter MDPs and stochastic games
      RIV/00216224:14330/13:00065955 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Brožek, Václav (203 Česká republika, domácí) -- Etessami, Kousha (826 Velká Británie a Severní Irsko) -- Kučera, Antonín (203 Česká republika, domácí)
      Klíčová slova anglicky: Markov decision processes; one-counter automata
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 4. 2014 16:21.
      Podrobněji: https://is.muni.cz/publication/1076357/cs
    2. Determinacy and Optimal Strategies in Infinite-state Stochastic Reachability Games
      BROŽEK, Václav. Determinacy and Optimal Strategies in Infinite-state Stochastic Reachability Games. Theoretical Computer Science. Amsterdam: Elsevier, 2013, roč. 493, č. 1, s. 80-97. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2012.10.038.
      URL
      RIV/00216224:14330/13:00080195 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brožek, Václav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Stochastic games; Reachability; Determinacy; Optimal strategies
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 22. 5. 2015 06:16.
      Podrobněji: https://is.muni.cz/publication/1181774/cs

    2011

    1. Approximating the Termination Value of One-Counter MDPs and Stochastic Games
      BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI a Antonín KUČERA. Approximating the Termination Value of One-Counter MDPs and Stochastic Games. In Luca Aceto, Monika Henzinger, Jiří Sgall. Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Berlin: Springer, 2011, s. 332-343. ISBN 978-3-642-22011-1.
      RIV/00216224:14330/11:00049981 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Brožek, Václav (203 Česká republika, domácí) -- Etessami, Kousha (840 Spojené státy) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: stochastic games; one-counter automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 17. 12. 2011 16:19.
      Podrobněji: https://is.muni.cz/publication/950131/cs
    2. Qualitative Reachability in Stochastic BPA Games
      BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA a Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. Information and Computation. Elsevier, 2011, roč. 209, č. 8, s. 1160-1183. ISSN 0890-5401.
      RIV/00216224:14330/11:00051537 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Brožek, Václav (276 Německo, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: pushdown automata; turn-based games
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 15. 5. 2011 20:14.
      Podrobněji: https://is.muni.cz/publication/908976/cs
    3. Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
      BROŽEK, Václav, Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Vojtěch FOREJT a Antonín KUČERA. Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. In Martin Grohe. Proceedings 26th Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, California: IEEE, 2011, s. 33-42. ISBN 978-0-7695-4412-0. Dostupné z: https://dx.doi.org/10.1109/LICS.2011.10.
      RIV/00216224:14330/11:00051963 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brožek, Václav (203 Česká republika, domácí) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision process; optimization with multiple objectives; mean payoff; Pareto curve; approximation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Změněno: 12. 4. 2013 01:40.
      Podrobněji: https://is.muni.cz/publication/929376/cs

    2010

    1. One-Counter Markov Decision Processes
      BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI, Antonín KUČERA a Dominik WOJTCZAK. One-Counter Markov Decision Processes. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms. Neuveden: SIAM, 2010, s. 863-874. ISBN 978-0-89871-698-6.
      Link to SODA 2010 electronic proceedings
      Název anglicky: One-Counter Markov Decision Processes
      RIV/00216224:14330/10:00043501 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Etessami, Kousha (840 Spojené státy) -- Kučera, Antonín (203 Česká republika, garant) -- Wojtczak, Dominik (616 Polsko)
      Klíčová slova anglicky: Markov decision proces; probability; one counter MDP; reachability; termination
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 24. 11. 2010 22:26.
      Podrobněji: https://is.muni.cz/publication/875871/cs
    2. One-Counter Stochastic Games
      BRÁZDIL, Tomáš, Václav BROŽEK a Kousha ETESSAMI. One-Counter Stochastic Games. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2010, s. 108-119. ISBN 978-3-939897-23-1.
      URL URL
      RIV/00216224:14330/10:00044742 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Brožek, Václav (203 Česká republika, garant, domácí) -- Etessami, Kousha (840 Spojené státy)
      Klíčová slova anglicky: one-counter automata; simple stochastic games; Markov decision process; termination; long run average reward
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074. Změněno: 28. 4. 2011 15:13.
      Podrobněji: https://is.muni.cz/publication/897695/cs

    2009

    1. Basic Model Checking Problems for Stochastic Games
      BROŽEK, Václav. Basic Model Checking Problems for Stochastic Games. Brno: Faculty of Informatics, Masaryk University, 2009.
      The entry of the thesis in the archive of IS MU. The text of the thesis (PDF).
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: stochastic games, PDA, BPA, reachability, Büchi objective, determinacy, automata, model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 14. 1. 2011 11:51.
      Podrobněji: https://is.muni.cz/publication/919616/cs
    2. Branching-Time Model-Checking of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2009, roč. 2009, č. 239, s. 73-83. ISSN 1571-0661.
      URL
      Název česky: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
      RIV/00216224:14330/09:00043829 Článek v odborném periodiku. Informatika. angličtina. Portugalsko.
      Brázdil, Tomáš (203 Česká republika, garant) -- Brožek, Václav (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 29. 4. 2010 16:40.
      Podrobněji: https://is.muni.cz/publication/881355/cs
    3. Qualitative Reachability in Stochastic BPA Games
      BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA a Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. In Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany: IBFI Schloss Dagstuhl, 2009, s. 207-218. ISBN 978-3-939897-09-5.
      DOI
      Název česky: Kvalitativní dosažitelnost ve stochastických BPA hrách
      RIV/00216224:14330/09:00034252 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Obdržálek, Jan (203 Česká republika)
      Klíčová slova anglicky: stochastic games; reachability; BPA
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 15. 3. 2010 09:09.
      Podrobněji: https://is.muni.cz/publication/798476/cs
    4. Regularity in PDA Games Revisited
      BROŽEK, Václav. Regularity in PDA Games Revisited. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, roč. 2009, č. 251, s. 5-16. ISSN 1571-0661.
      URL
      Název česky: Regularita v PDA hrách ještě jednou
      RIV/00216224:14330/09:00043830 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brožek, Václav (203 Česká republika, garant)
      Klíčová slova anglicky: regular languages; probabilistic pushdown games; reachability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 29. 4. 2010 16:49.
      Podrobněji: https://is.muni.cz/publication/881356/cs

    2008

    1. Discounted Properties of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008, s. 230-242. ISBN 978-3-540-89438-4.
      Název česky: Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
      RIV/00216224:14330/08:00026776 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Holeček, Jan (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov chains; discounting; pushdown automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:11.
      Podrobněji: https://is.muni.cz/publication/794015/cs
    2. Reachability in Recursive Markov Decision Processes
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Reachability in Recursive Markov Decision Processes. Information and Computation. Elsevier, 2008, roč. 206, č. 5, s. 520-537. ISSN 0890-5401.
      Název česky: Dosažitelnost v rekurzivních Markovových rozhodovacích procesech
      RIV/00216224:14330/08:00024683 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov decision processes; temporal logics; reachability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:14.
      Podrobněji: https://is.muni.cz/publication/763101/cs
    3. Regularity in PDA Games Revisited
      BROŽEK, Václav. Regularity in PDA Games Revisited. In MEMICS 2008 proceedings. Brno: L. Matyska, D. Antoš, M. Češka, Z. Kotásek, T. Vojnar, M. Křetínský (Eds.), 2008, s. 21-28. ISBN 978-80-7355-082-0.
      URL
      Název česky: Regularita v PDA hrách ještě jednou
      RIV/00216224:14330/08:00026782 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brožek, Václav (203 Česká republika, garant)
      Klíčová slova anglicky: regular languages; probabilistic pushdown games; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 20. 2. 2009 20:42.
      Podrobněji: https://is.muni.cz/publication/794333/cs

    2007

    1. Branching-Time Model-Checking of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
      Název česky: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
      RIV/00216224:14330/07:00047829 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Brožek, Václav (203 Česká republika, domácí) -- Forejt, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 22. 4. 2011 14:59.
      Podrobněji: https://is.muni.cz/publication/935177/cs
    2. Branching-Time Model-Checking of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa: Univerisity of Lisboa, 2007, s. 24-33.
      Název česky: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
      Informatika. angličtina. Portugalsko.
      Klíčová slova anglicky: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Ing. Dana Komárková, učo 1475. Změněno: 27. 6. 2008 09:30.
      Podrobněji: https://is.muni.cz/publication/727767/cs
    3. Regularity in Model Checking PDA Games
      BROŽEK, Václav. Regularity in Model Checking PDA Games. In MEMICS proceedings. Brno: Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.), 2007, s. 27-34. ISBN 978-80-7355-077-6.
      URL
      Název česky: Regularita v model-checking problému PDA her
      RIV/00216224:14330/07:00022905 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brožek, Václav (203 Česká republika, garant)
      Klíčová slova anglicky: regular languages; probabilistic pushdown games; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 19. 12. 2008 10:16.
      Podrobněji: https://is.muni.cz/publication/727797/cs

    2006

    1. Reachability in Recursive Markov Decision Processes
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Reachability in Recursive Markov Decision Processes. C. Baier, H. Hermanns (Eds.). In 17th International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer, 2006, s. 358-374. ISBN 3-540-37376-4.
      Název česky: Dosažitelnost pro Markovovy rozhodovací procesy
      RIV/00216224:14330/06:00017081 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov decision processes; reachability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 30. 3. 2010 20:30.
      Podrobněji: https://is.muni.cz/publication/692706/cs
    2. Stochastic Games with Branching-Time Winning Objectives
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Stochastic Games with Branching-Time Winning Objectives. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings. Los Alamitos, California: IEEE Computer Society, 2006, s. 349-358. ISBN 0-7695-2631-4.
      Název česky: Stochastické hry s výherním kritériem určeným formulí větvícího se času
      RIV/00216224:14330/06:00017108 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Stochastic games; branching-time temporal logics
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:28.
      Podrobněji: https://is.muni.cz/publication/694339/cs
Zobrazeno: 21. 3. 2025 12:53