Follow
Petr Novotný
Petr Novotný
Associate 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
1252017
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
992016
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
932017
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
542018
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
482012
Proving non-termination by program reversal
K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
252021
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
242016
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
232019
Termination analysis of probabilistic programs with martingales
K Chatterjee, H Fu, P Novotný
Foundations of Probabilistic Programming, 221-258, 2020
222020
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
222018
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
212020
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
192015
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
172017
On lexicographic proof rules for probabilistic termination
K Chatterjee, EK Goharshady, P Novotný, J Zárevúcky, Đ Žikelić
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
162021
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
162014
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
142012
Multiple-environment markov decision processes: Efficient analysis and applications
K Chatterjee, M Chmelík, D Karkhanis, P Novotný, A Royer
Proceedings of the International Conference on Automated Planning and …, 2020
112020
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
102019
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
92015
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
92012
The system can't perform the operation now. Try again later.
Articles 1–20