Follow
Petr Novotný
Petr Novotný
Assistant Professor, Faculty of Informatics, Masaryk University
Verified email at fi.muni.cz - Homepage
Title
Cited by
Cited by
Year
Stochastic invariants for probabilistic termination
K Chatterjee, P Novotný, Đ Žikelić
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
822017
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K Chatterjee, H Fu, P Novotný, R Hasheminezhad
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
782016
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S Agrawal, K Chatterjee, P Novotný
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
482017
Efficient controller synthesis for consumption games with multiple resource types
T Brázdil, K Chatterjee, A Kučera, P Novotný
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
442012
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K Chatterjee, H Fu, P Novotný, R Hasheminezhad
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 1-45, 2018
332018
Optimizing the expected mean payoff in energy Markov decision processes
T Brázdil, A Kučera, P Novotný
Automated Technology for Verification and Analysis: 14th International …, 2016
182016
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
Quantitative Evaluation of Systems: 12th International Conference, QEST 2015 …, 2015
172015
Efficient algorithms for asymptotic bounds on termination time in VASS
T Brázdil, K Chatterjee, A Kučera, P Novotný, D Velan, F Zuleger
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
162018
Zero-reachability in probabilistic multi-counter automata
T Brázdil, S Kiefer, A Kučera, P Novotný, JP Katoen
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
132014
On the Complexity of Value Iteration
N Balaji, S Kiefer, P Novotny, GA Pérez, M Shirmohammadi
46th International Colloquium on Automata, Languages, and Programming, ICALP …, 2019
122019
Optimizing expectation with guarantees in POMDPs
K Chatterjee, P Novotný, G Pérez, JF Raskin, Đ Žikelić
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
122017
Minimizing expected termination time in one-counter Markov decision processes
T Brázdil, A Kučera, P Novotný, D Wojtczak
Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012
122012
Proving non-termination by program reversal
K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
102021
Long-run average behaviour of probabilistic vector addition systems
T Brazdil, S Kiefer, A Kucera, P Novotný
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 44-55, 2015
82015
Determinacy in stochastic games with unbounded payoff functions
T Brázdil, A Kučera, P Novotný
Mathematical and Engineering Methods in Computer Science: 8th International …, 2013
82013
Termination analysis of probabilistic programs with martingales
K Chatterjee, H Fu, P Novotný
Foundations of Probabilistic Programming, 221-258, 2020
72020
Qualitative controller synthesis for consumption Markov decision processes
F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
72020
Minimizing running costs in consumption systems
T Brázdil, D Klaška, A Kučera, P Novotný
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
72014
Deciding fast termination for probabilistic VASS with nondeterminism
T Brázdil, K Chatterjee, A Kučera, P Novotný, D Velan
Automated Technology for Verification and Analysis: 17th International …, 2019
62019
Stability in graphs and games
T Brázdil, V Forejt, A Kučera, P Novotný
CONCUR 2016, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20