13 Publications

Mark all

[13]
2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotny, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. https://doi.org/10.1145/3209108.3209191.
View | DOI | Download (ext.)
 
[12]
2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotny, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,” 2018:4692–99. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/652.
View | DOI | Download (ext.) | arXiv
 
[11]
2018 | Journal Article | IST-REx-ID: 5993   OA
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.” ACM Transactions on Programming Languages and Systems 40, no. 2 (2018): 7. https://doi.org/10.1145/3174800.
View | Files available | DOI | Download (ext.) | arXiv
 
[10]
2018 | Conference Paper | IST-REx-ID: 325   OA
Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotny. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,” Vol. 2. ACM, 2018. https://doi.org/10.1145/3158122.
View | DOI | Download (ext.) | arXiv
 
[9]
2017 | Conference Paper | IST-REx-ID: 1009   OA
Chatterjee, Krishnendu, Petr Novotny, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017.
View | Download (ext.)
 
[8]
2017 | Conference Paper | IST-REx-ID: 1194   OA
Chatterjee, Krishnendu, Petr Novotny, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
View | DOI | Download (ext.)
 
[7]
2016 | Conference Paper | IST-REx-ID: 1325   OA
Brázdil, Tomáš, Vojtěch Forejt, Antonín Kučera, and Petr Novotny. “Stability in Graphs and Games,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.10.
View | Files available | DOI
 
[6]
2016 | Conference Paper | IST-REx-ID: 1438
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotny, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs,” 20–22:327–42. ACM, 2016. https://doi.org/10.1145/2837614.2837639.
View | Files available | DOI | Download (ext.) | arXiv
 
[5]
2016 | Conference Paper | IST-REx-ID: 1326   OA
Brázdil, Tomáš, Antonín Kučera, and Petr Novotny. “Optimizing the Expected Mean Payoff in Energy Markov Decision Processes,” 9938:32–49. Springer, 2016. https://doi.org/10.1007/978-3-319-46520-3_3.
View | DOI | Download (ext.)
 
[4]
2016 | Conference Paper | IST-REx-ID: 1327   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, and Petr Novotny. “Stochastic Shortest Path with Energy Constraints in POMDPs.” In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, 1465–66. ACM, 2016.
View | Download (ext.)
 
[3]
2015 | Conference Paper | IST-REx-ID: 1667   OA
Brázdil, Tomáš, L’Uboš Korenčiak, Jan Krčál, Petr Novotny, and Vojtěch Řehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22264-6_10.
View | DOI | Download (ext.)
 
[2]
2015 | Conference Paper | IST-REx-ID: 1660   OA
Brázdil, Tomáš, Stefan Kiefer, Antonín Kučera, and Petr Novotny. “Long-Run Average Behaviour of Probabilistic Vector Addition Systems,” 44–55. IEEE, 2015. https://doi.org/10.1109/LICS.2015.15.
View | DOI | Download (ext.)
 
[1]
2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kučera, and Petr Novotny. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,” 7358:23–38. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_8.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed

13 Publications

Mark all

[13]
2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotny, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. https://doi.org/10.1145/3209108.3209191.
View | DOI | Download (ext.)
 
[12]
2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotny, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,” 2018:4692–99. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/652.
View | DOI | Download (ext.) | arXiv
 
[11]
2018 | Journal Article | IST-REx-ID: 5993   OA
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.” ACM Transactions on Programming Languages and Systems 40, no. 2 (2018): 7. https://doi.org/10.1145/3174800.
View | Files available | DOI | Download (ext.) | arXiv
 
[10]
2018 | Conference Paper | IST-REx-ID: 325   OA
Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotny. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,” Vol. 2. ACM, 2018. https://doi.org/10.1145/3158122.
View | DOI | Download (ext.) | arXiv
 
[9]
2017 | Conference Paper | IST-REx-ID: 1009   OA
Chatterjee, Krishnendu, Petr Novotny, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017.
View | Download (ext.)
 
[8]
2017 | Conference Paper | IST-REx-ID: 1194   OA
Chatterjee, Krishnendu, Petr Novotny, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
View | DOI | Download (ext.)
 
[7]
2016 | Conference Paper | IST-REx-ID: 1325   OA
Brázdil, Tomáš, Vojtěch Forejt, Antonín Kučera, and Petr Novotny. “Stability in Graphs and Games,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.10.
View | Files available | DOI
 
[6]
2016 | Conference Paper | IST-REx-ID: 1438
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotny, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs,” 20–22:327–42. ACM, 2016. https://doi.org/10.1145/2837614.2837639.
View | Files available | DOI | Download (ext.) | arXiv
 
[5]
2016 | Conference Paper | IST-REx-ID: 1326   OA
Brázdil, Tomáš, Antonín Kučera, and Petr Novotny. “Optimizing the Expected Mean Payoff in Energy Markov Decision Processes,” 9938:32–49. Springer, 2016. https://doi.org/10.1007/978-3-319-46520-3_3.
View | DOI | Download (ext.)
 
[4]
2016 | Conference Paper | IST-REx-ID: 1327   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, and Petr Novotny. “Stochastic Shortest Path with Energy Constraints in POMDPs.” In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, 1465–66. ACM, 2016.
View | Download (ext.)
 
[3]
2015 | Conference Paper | IST-REx-ID: 1667   OA
Brázdil, Tomáš, L’Uboš Korenčiak, Jan Krčál, Petr Novotny, and Vojtěch Řehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22264-6_10.
View | DOI | Download (ext.)
 
[2]
2015 | Conference Paper | IST-REx-ID: 1660   OA
Brázdil, Tomáš, Stefan Kiefer, Antonín Kučera, and Petr Novotny. “Long-Run Average Behaviour of Probabilistic Vector Addition Systems,” 44–55. IEEE, 2015. https://doi.org/10.1109/LICS.2015.15.
View | DOI | Download (ext.)
 
[1]
2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kučera, and Petr Novotny. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,” 7358:23–38. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_8.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed