Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2023

    1. 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.
    2. 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.
    3. 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.
    4. 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.

    2022

    1. 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.

    2021

    1. 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.
    2. 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.
    3. 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.

    2020

    1. 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.
    2. 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.
    3. 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.
    4. 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.

    2019

    1. 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.
    2. 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.
    3. 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.

    2018

    1. 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.
    2. 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.
    3. 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.
    4. 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.

    2017

    1. 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.
    2. 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.

    2016

    1. 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.
    2. 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.
    3. 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.
    4. 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.

    2015

    1. 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.
    2. 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.
    3. 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.

    2014

    1. 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.
    2. 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.

    2013

    1. 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.
    2. 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.

    2012

    1. 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.
    2. 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.
Zobrazit podrobně
Zobrazeno: 4. 10. 2024 00:39