Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2023

    1. Efficient Strategy Synthesis for MDPs With Resource Constraints
      BLAHOUDEK, Fratišek, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Transactions on Automatic Control. 2023, roč. 68, č. 8, s. 4586 - 4601. ISSN 0018-9286. Dostupné z: https://dx.doi.org/10.1109/TAC.2022.3209612.
      URL
      RIV: Článek v odborném periodiku. angličtina. Spojené státy.
      Blahoudek, Fratišek (203 Česká republika) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Ornik, Melkior (191 Chorvatsko) -- Thangeda, Pranay (356 Indie) -- Topcu, Ufuk (792 Turecko)
      Klíčová slova anglicky: Consumption Markov decision process (CMDP); planning; resource constraints; strategy synthesis
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:48.
      Podrobněji: https://is.muni.cz/publication/2386722/cs
    2. On Lexicographic Proof Rules for Probabilistic Termination
      CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY a Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects of Computing. 2023, roč. 35, č. 2, s. "11:1"-"11:25", 25 s. ISSN 0934-5043. Dostupné z: https://dx.doi.org/10.1145/3585391.
      URL
      RIV: Článek v odborném periodiku. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Goharshady, Ehsan Kafshdar (364 Írán) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Zárevúcky, Jiří (203 Česká republika, domácí) -- Žikelić, Djordje (688 Srbsko)
      Klíčová slova anglicky: probabilistic programs; termination; martingales
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:48.
      Podrobněji: https://is.muni.cz/publication/2386721/cs
    3. Shielding in Resource-Constrained Goal POMDPs
      AJDARÓW, Michal, Šimon BRLEJ a Petr NOVOTNÝ. Shielding in Resource-Constrained Goal POMDPs. Online. In Brian Williams, Yiling Chen, Jennifer Neville. Proceedings of the 37th AAAI Conference on Artificial Intelligence. Washington, DC, USA: AAAI Press, 2023, s. 14674-14682. ISBN 978-1-57735-880-0. Dostupné z: https://dx.doi.org/10.1609/aaai.v37i12.26715.
      URL
      RIV/00216224:14330/23:00131270 Stať ve sborníku. angličtina. Spojené státy.
      Ajdarów, Michal (203 Česká republika, domácí) -- Brlej, Šimon (703 Slovensko, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: decision making; Markov decision processes; controller synthesis; resource constraints; shielding
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:07.
      Podrobněji: https://is.muni.cz/publication/2298218/cs
    4. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
      KLAŠKA, David, Antonín KUČERA, Martin KUREČKA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, s. 171-179. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/20.
      Paper URL
      RIV/00216224:14330/23:00131516 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kurečka, Martin (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Multi-agent systems; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 8. 4. 2024 15:40.
      Podrobněji: https://is.muni.cz/publication/2304578/cs

    2022

    1. On-the-fly Adaptation of Patrolling Strategies in Changing Environments
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. Online. In James Cussens, Kun Zhang. Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022. Neuveden: Proceedings of Machine Learning Research, 2022, s. 244-254. ISBN 978-1-7138-6329-8.
      Paper URL
      RIV/00216224:14330/22:00127027 Stať ve sborníku. angličtina.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 4. 2023 03:29.
      Podrobněji: https://is.muni.cz/publication/2227363/cs

    2021

    1. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
      BLAHOUDEK, František, Murat CUBUKTEPE, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, s. 640-656. ISBN 978-3-030-90869-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-90870-6_34.
      RIV/00216224:14330/21:00119269 Stať ve sborníku. angličtina.
      Blahoudek, František (203 Česká republika) -- Cubuktepe, Murat (792 Turecko) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Ornik, Melkior (191 Chorvatsko) -- Thangeda, Pranay (356 Indie) -- Topcu, Ufuk (792 Turecko)
      Klíčová slova anglicky: resource constraints; planning under uncertainty; Markov decision processes
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 10:03.
      Podrobněji: https://is.muni.cz/publication/1797367/cs
    2. On Lexicographic Proof Rules for Probabilistic Termination
      CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY a Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, s. 619-639. ISBN 978-3-030-90869-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-90870-6_33.
      RIV/00216224:14330/21:00119268 Stať ve sborníku. angličtina.
      Chatterjee, Krishnendu (356 Indie) -- Goharshady, Ehsan Kafshdar (364 Írán) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Zárevúcky, Jiří (203 Česká republika, domácí) -- Žikelić, Djordje (688 Srbsko)
      Klíčová slova anglicky: program analysis; probabilistic programs; almost-sure termination; martingales
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 10:00.
      Podrobněji: https://is.muni.cz/publication/1797365/cs
    3. Proving non-termination by program reversal
      CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ a Djordje ŽIKELIĆ. Proving non-termination by program reversal. Online. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York, NY, USA: ACM, 2021, s. 1033-1048. ISBN 978-1-4503-8391-2. Dostupné z: https://dx.doi.org/10.1145/3453483.3454093.
      RIV/00216224:14330/21:00119267 Stať ve sborníku. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Goharshady, Ehsan Kafshdar (364 Írán) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Žikelić, Djordje (688 Srbsko)
      Klíčová slova anglicky: program analysis; nontermination proving
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2022 08:14.
      Podrobněji: https://is.muni.cz/publication/1797364/cs

    2020

    1. Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
      CHATTERJEE, Krishnendu, Martin CHMELÍK, Deep KARKHANIS, Petr NOVOTNÝ a Amélie ROYER. Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. Online. In Proceedings of the International Conference on Automated Planning and Scheduling. Palo Alto: AAAI Press, 2020, s. 48-56. ISBN 978-1-57735-824-4.
      URL
      RIV/00216224:14330/20:00114616 Stať ve sborníku. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Karkhanis, Deep (356 Indie) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Royer, Amélie (250 Francie)
      Klíčová slova anglicky: decision making; Markov decision processes; contextual recommendations
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:12.
      Podrobněji: https://is.muni.cz/publication/1718276/cs
    2. Qualitative Controller Synthesis for Consumption Markov Decision Processes
      BLAHOUDEK, František, Tomáš BRÁZDIL, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Qualitative Controller Synthesis for Consumption Markov Decision Processes. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}. Cham: Springer, 2020, s. 421-447. ISBN 978-3-030-53290-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-53291-8_22.
      RIV/00216224:14330/20:00114617 Stať ve sborníku. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Ornik, Melkior (191 Chorvatsko) -- Thangeda, Pranay (356 Indie) -- Topcu, Ufuk (792 Turecko)
      Klíčová slova anglicky: decision making; Markov decision processes; controller synthesis; resource constraints
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:12.
      Podrobněji: https://is.muni.cz/publication/1718417/cs
    3. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Petr NOVOTNÝ a Jiří VAHALA. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. Online. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. Palo Alto, California, USA: AAAI Press, 2020, s. 9794-9801. ISBN 978-1-57735-823-7. Dostupné z: https://dx.doi.org/10.1609/aaai.v34i06.6531.
      URL
      RIV/00216224:14330/20:00114279 Stať ve sborníku. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Vahala, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: reinforcement learning; Markov decision processes; Monte Carlo tree search; risk aversion
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 14:29.
      Podrobněji: https://is.muni.cz/publication/1674916/cs
    4. Termination Analysis of Probabilistic Programs with Martingales
      CHATTERJEE, Krishnendu, Hongfei FU a Petr NOVOTNÝ. Termination Analysis of Probabilistic Programs with Martingales. In Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. Foundations of Probabilistic Programming. Cambridge, UK: Cambridge University Press, 2020, s. 221-258. ISBN 978-1-108-48851-8. Dostupné z: https://dx.doi.org/10.1017/9781108770750.008.
      RIV/00216224:14330/20:00114618 Kapitola resp. kapitoly v odborné knize. angličtina. Velká Británie a Severní Irsko.
      Chatterjee, Krishnendu (356 Indie) -- Fu, Hongfei (156 Čína) -- Novotný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: probabilistic programs; program analysis; termination; martingales
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2021 19:16.
      Podrobněji: https://is.muni.cz/publication/1718657/cs

    2019

    1. Bidding Games on Markov Decision Processes
      AVNI, Guy, Thomas A. HENZINGER, Rasmus IBSEN-JENSEN a Petr NOVOTNÝ. Bidding Games on Markov Decision Processes. In Emmanuel Filiot, Raphaël M. Jungers, Igor Potapov. Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. Cham: Springer, 2019, s. 1-12. ISBN 978-3-030-30805-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30806-3_1.
      URL
      RIV/00216224:14330/19:00107914 Stať ve sborníku. angličtina. Švýcarsko.
      Avni, Guy (376 Izrael) -- Henzinger, Thomas A. (40 Rakousko) -- Ibsen-Jensen, Rasmus (208 Dánsko) -- Novotný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Game theory; Markov processes; Stochastic systems; Bidding mechanism
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:22.
      Podrobněji: https://is.muni.cz/publication/1598257/cs
    2. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ a Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer, 2019, s. 462-478. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_27.
      URL
      RIV/00216224:14330/19:00107764 Stať ve sborníku. angličtina. Švýcarsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Velan, Dominik (203 Česká republika, domácí)
      Klíčová slova anglicky: angelic and demonic nondeterminism; termination time; probabilistic VASS
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:21.
      Podrobněji: https://is.muni.cz/publication/1576916/cs
    3. On the Complexity of Value Iteration
      BALAJI, Nikhil, Stefan KIEFER, Petr NOVOTNÝ, Guillermo A. PÉREZ a Mahsa SHIRMOHAMMADI. On the Complexity of Value Iteration. Online. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi. Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019, s. "102:1"-"102:15", 15 s. ISBN 978-3-95977-109-2. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.102.
      RIV/00216224:14330/19:00107669 Stať ve sborníku. angličtina. Německo.
      Balaji, Nikhil (356 Indie) -- Kiefer, Stefan (276 Německo) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Pérez, Guillermo A. (340 Honduras) -- Shirmohammadi, Mahsa (364 Írán)
      Klíčová slova anglicky: Markov decision processes; probabilistic verification; value iteration
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:16.
      Podrobněji: https://is.muni.cz/publication/1561197/cs

    2018

    1. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
      CHATTERJEE, Krishnendu, Hongfei FU, Petr NOVOTNÝ a Rouzbeh HASHEMINEZHAD. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS). NEW YORK: ACM, 2018, roč. 40, č. 2, 45 s. ISSN 0164-0925. Dostupné z: https://dx.doi.org/10.1145/3174800.
      URL
      angličtina.
      Klíčová slova anglicky: Probabilistic programs; termination; ranking supermartingale; concentration
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 26. 9. 2019 09:53.
      Podrobněji: https://is.muni.cz/publication/1562496/cs
    2. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN a Florian ZULEGER. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, s. 185-194. ISBN 978-1-4503-5583-4. Dostupné z: https://dx.doi.org/10.1145/3209108.3209191.
      ACM Digital Library
      RIV/00216224:14330/18:00100882 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika) -- Velan, Dominik (203 Česká republika, garant, domácí) -- Zuleger, Florian (40 Rakousko)
      Klíčová slova anglicky: vector addition systems with states; termination
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 04:27.
      Podrobněji: https://is.muni.cz/publication/1413152/cs
    3. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives
      CHATTERJEE, Krishnendu, Adrián ELGYUTT, Petr NOVOTNÝ a Owen ROUILLÉ. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018). ijcai.org, 2018, s. 4692--4699, 7 s. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/652.

      Klíčová slova anglicky: POMDPs; Planning under Uncertainty; Planning with Incomplete Information
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 26. 9. 2019 10:15.
      Podrobněji: https://is.muni.cz/publication/1562536/cs
    4. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
      AGRAWAL, Sheshansh, Krishnendu CHATTERJEE a Petr NOVOTNÝ. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In PACMPL (Proceedings of POPL'18). New York, NY, USA: ACM, 2018, s. "34:1--34:32", 32 s. ISSN 2475-1421.

      Klíčová slova anglicky: probabilistic termination; ranking functions; supermartingales
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 26. 9. 2019 10:08.
      Podrobněji: https://is.muni.cz/publication/1562516/cs

    2017

    1. Optimizing Expectation with Guarantees in POMDPs
      CHATTERJEE, Krishnendu, Petr NOVOTNÝ, Guillermo A. PÉREZ, Jean-Francois RASKIN a Djordje ŽIKELIĆ. Optimizing Expectation with Guarantees in POMDPs. Online. In Satinder P. Singh and Shaul Markovitch. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2017, s. 3725--3732.
      URL

      Klíčová slova anglicky: Partially-observable Markov decision processes; Discounted payoff; Probabilistic planning; Verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 26. 9. 2019 09:44.
      Podrobněji: https://is.muni.cz/publication/1562480/cs
    2. Stochastic Invariants for Probabilistic Termination
      CHATTERJEE, Krishnendu, Petr NOVOTNÝ a Djordje ŽIKELIĆ. Stochastic Invariants for Probabilistic Termination. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). New York, NY, USA: ACM, 2017, s. 145-160. ISSN 0362-1340. Dostupné z: https://dx.doi.org/10.1145/3009837.3009873.
      angličtina.
      Klíčová slova anglicky: Probabilistic Programs; Termination; Martingales; Concentration
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 26. 9. 2019 09:34.
      Podrobněji: https://is.muni.cz/publication/1562456/cs

    2016

    1. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
      CHATTERJEE, Krishnendu, Hongfei FU, Petr NOVOTNÝ a Rouzbeh HASHEMINEZHAD. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). New York, NY, USA: ACM, 2016, s. 327--342. ISBN 978-1-4503-3549-2. Dostupné z: https://dx.doi.org/10.1145/2914770.2837639.
      URL
      angličtina. Spojené státy.
      Klíčová slova anglicky: Concentration; Probabilistic Programs; Ranking Supermartingale; Termination
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 26. 9. 2019 09:34.
      Podrobněji: https://is.muni.cz/publication/1562436/cs
    2. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
      BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Heidelberg: Springer, 2016, s. 32-49. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_3.
      RIV/00216224:14330/16:00088482 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
      Klíčová slova anglicky: mean payoff; energy games
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 11:02.
      Podrobněji: https://is.muni.cz/publication/1366035/cs
    3. Stability in Graphs and Games
      BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a Petr NOVOTNÝ. Stability in Graphs and Games. Online. In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, s. 1-14. ISBN 978-3-95977-017-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10.
      RIV/00216224:14330/16:00088483 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
      Klíčová slova anglicky: turn-based games; mean payoff; stability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:04.
      Podrobněji: https://is.muni.cz/publication/1366038/cs
    4. Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
      BRÁZDIL, Tomáš, Petr NOVOTNÝ, Krishnendu CHATTERJEE, Martin CHMELÍK a Anchit GUPTA. Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Singapur: ACM, 2016, s. 1465-1466. ISBN 978-1-4503-4239-1.
      Název anglicky: Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
      RIV/00216224:14330/16:00088501 Stať ve sborníku. Informatika. angličtina.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Gupta, Anchit (356 Indie)
      Klíčová slova anglicky: POMDP; planning; energy constraints; decision trees
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:34.
      Podrobněji: https://is.muni.cz/publication/1366476/cs

    2015

    1. Left atrium assessment: The evolving role of MRI
      PANOVSKÝ, Roman, M. PLEVA, V. FEITOVÁ, P. KRUZLIAK, Jaroslav MELUZÍN, Vladimír KINCL, Petr NOVOTNÝ a Jiří VANÍČEK. Left atrium assessment: The evolving role of MRI. Journal of Cardiovascular Medicine. Philadelphia: Lippincott Williams & Wilkins, 2015, roč. 16, č. 10, s. 1-10. ISSN 1558-2027. Dostupné z: https://dx.doi.org/10.2459/JCM.0000000000000155.
      RIV/00216224:14110/15:00082307 Článek v odborném periodiku. Kardiovaskulární nemoci vč. kardiochirurgie. angličtina. Spojené státy.
      Panovský, Roman (203 Česká republika, garant, domácí) -- Pleva, M. (203 Česká republika) -- Feitová, V. (203 Česká republika) -- Kruzliak, P. (203 Česká republika) -- Meluzín, Jaroslav (203 Česká republika, domácí) -- Kincl, Vladimír (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Vaníček, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: cardiovascular magnetic resonance; late gadolinium enhancement; left atrium
      Recenzováno: ano
      Změnila: Ing. Mgr. Věra Pospíšilíková, učo 9005. Změněno: 14. 12. 2015 08:42.
      Podrobněji: https://is.muni.cz/publication/1218779/cs
    2. Long-Run Average Behaviour of Probabilistic Vector Addition Systems
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA a Petr NOVOTNÝ. Long-Run Average Behaviour of Probabilistic Vector Addition Systems. In Neuveden. 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. Neuveden: IEEE, 2015, s. 44-55. ISBN 978-1-4799-8875-4. Dostupné z: https://dx.doi.org/10.1109/LICS.2015.15.
      RIV/00216224:14330/15:00081425 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kiefer, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Probabilistic Vector Addition Systems; Markov Chains
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:35.
      Podrobněji: https://is.muni.cz/publication/1323104/cs
    3. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
      BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. BERLIN: SPRINGER-VERLAG BERLIN, 2015, s. 141-159. ISBN 978-3-319-22263-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-22264-6_10.
      RIV/00216224:14330/15:00081201 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: continuous-time Markov chains; synthesis; timeout
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 10. 12. 2018 13:41.
      Podrobněji: https://is.muni.cz/publication/1317666/cs

    2014

    1. Minimizing Running Costs in Consumption Systems
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA a Petr NOVOTNÝ. Minimizing Running Costs in Consumption Systems. In Armin Biere, Roderick Bloem. Computer Aided Verification. Neuveden: Springer International Publishing, 2014, s. 457-472. ISBN 978-3-319-08866-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-08867-9_30.
      URL
      RIV/00216224:14330/14:00074098 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: controller synthesis; consumption systems; mean payoff
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 16. 11. 2014 13:12.
      Podrobněji: https://is.muni.cz/publication/1206158/cs
    2. Zero-reachability in probabilistic multi-counter automata
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA, Petr NOVOTNÝ a Joost-Pieter KATOEN. Zero-reachability in probabilistic multi-counter automata. Online. In Thomas Henzinger and Dale Miller. Proceedings of the 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). New York: ACM, 2014, s. nestránkováno, 10 s. ISBN 978-1-4503-2886-9. Dostupné z: https://dx.doi.org/10.1145/2603088.2603161.
      URL
      RIV/00216224:14330/14:00074099 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kiefer, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Katoen, Joost-Pieter (528 Nizozemské království)
      Klíčová slova anglicky: markov chains; petri nets; reachability; multicounter automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 16. 11. 2014 14:20.
      Podrobněji: https://is.muni.cz/publication/1206161/cs

    2013

    1. Determinacy in Stochastic Games with Unbounded Payoff Functions
      BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝ. Determinacy in Stochastic Games with Unbounded Payoff Functions. Online. In Mathematical and Engineering Methods in Computer Science (MEMICS 2012). Heidelberg: Springer, 2013, s. 94-105. ISBN 978-3-642-36044-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36046-6_10.
      URL
      RIV/00216224:14330/13:00065957 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: game theory; graph games; determinacy
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 8. 4. 2014 16:24.
      Podrobněji: https://is.muni.cz/publication/1076412/cs
    2. Solvency Markov Decision Processes with Interest
      BRÁZDIL, Tomáš, Taolue CHEN, Vojtěch FOREJT, Petr NOVOTNÝ a Aistis SIMAITIS. Solvency Markov Decision Processes with Interest. Online. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Dagstuhl, Germany: IBFI Schloss Dagstuhl, 2013, s. 487-499. ISBN 978-3-939897-64-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.487.
      URL
      Název anglicky: Solvency Markov Decision Processes with Interest
      RIV/00216224:14330/13:00066380 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Chen, Taolue (156 Čína) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Simaitis, Aistis (440 Litva)
      Klíčová slova anglicky: stochastic systems; markov decision processes; reward functions
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 24. 4. 2014 18:37.
      Podrobněji: https://is.muni.cz/publication/1123332/cs

    2012

    1. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA a Petr NOVOTNÝ. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. In Computer Aided Verification - 24th International Conference, CAV 2012. Berlin: Springer, 2012, s. 23-38. ISBN 978-3-642-31423-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-31424-7_8.
      RIV/00216224:14330/12:00057576 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: graph games; resource dependent systems
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:15.
      Podrobněji: https://is.muni.cz/publication/991673/cs
    2. Minimizing Expected Termination Time in One-Counter Markov Decision Processes
      BRÁZDIL, Tomáš, Antonín KUČERA, Petr NOVOTNÝ a Dominik WOJTCZAK. Minimizing Expected Termination Time in One-Counter Markov Decision Processes. In Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012). Berlin: Springer, 2012, s. 141-152. ISBN 978-3-642-31584-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-31585-5_16.
      RIV/00216224:14330/12:00057577 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Wojtczak, Dominik (616 Polsko)
      Klíčová slova anglicky: one-counter automata; markov decision processes
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:16.
      Podrobněji: https://is.muni.cz/publication/991688/cs
Zobrazeno: 27. 4. 2024 05:25