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
782017
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
752016
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
502017
Efficient controller synthesis for consumption games with multiple resource types
T Brázdil, K Chatterjee, A Kučera, P Novotný
International Conference on Computer Aided Verification, 23-38, 2012
422012
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 performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
International Conference on Quantitative Evaluation of Systems, 141-159, 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
Optimizing the expected mean payoff in energy Markov decision processes
T Brázdil, A Kučera, P Novotný
International Symposium on Automated Technology for Verification and …, 2016
162016
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
Minimizing expected termination time in one-counter Markov decision processes
T Brázdil, A Kučera, P Novotný, D Wojtczak
International Colloquium on Automata, Languages, and Programming, 141-152, 2012
122012
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
10*2019
Proving non-termination by program reversal
K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
82021
Determinacy in stochastic games with unbounded payoff functions
T Brázdil, A Kučera, P Novotný
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
82012
Termination analysis of probabilistic programs with martingales
K Chatterjee, H Fu, P Novotný
Foundations of Probabilistic Programming, 221-258, 2020
72020
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
72017
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
72015
Deciding fast termination for probabilistic VASS with nondeterminism
T Brázdil, K Chatterjee, A Kučera, P Novotný, D Velan
International Symposium on Automated Technology for Verification and …, 2019
62019
Stability in graphs and games
T Brázdil, V Forejt, A Kučera, P Novotný
CONCUR 2016, 2016
62016
Minimizing running costs in consumption systems
T Brázdil, D Klaška, A Kučera, P Novotný
International Conference on Computer Aided Verification, 457-472, 2014
62014
Qualitative controller synthesis for consumption Markov decision processes
F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu
International Conference on Computer Aided Verification, 421-447, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20