Petr Novotný
Petr Novotný
Assistant Professor, Faculty of Informatics, Masaryk University
Verified email at fi.muni.cz - Homepage
Title
Cited by
Cited by
Year
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
702016
Stochastic invariants for probabilistic termination
K Chatterjee, P Novotný, Đ Žikelić
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
562017
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
392012
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
312017
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
162015
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
142018
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
142016
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
102014
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
92012
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
72018
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
62015
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
62012
Optimizing expectation with guarantees in POMDPs
K Chatterjee, P Novotný, GA Pérez, JF Raskin, Đ Žikelić
Thirty-First AAAI Conference on Artificial Intelligence, 2017
52017
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
52014
On the Complexity of Value Iteration
M Shirmohammadi, N Balaji, S Kiefer, P Novotny, GA Pérez
46th International Colloquium on Automata, Languages, and Programming, ICALP …, 2019
3*2019
Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
K Chatterjee, A Elgyütt, P Novotný, O Rouillé
IJCAI 2018, 2018
32018
Stability in graphs and games
T Brázdil, V Forejt, A Kučera, P Novotný
CONCUR 2016, 2016
32016
Stochastic shortest path with energy constraints in POMDPs
T Brázdil, K Chatterjee, M Chmelík, A Gupta, P Novotný
arXiv preprint arXiv:1602.07565, 2016
32016
Solvency Markov decision processes with interest
T Brázdil, T Chen, V Forejt, P Novotný, A Simaitis
FST&TCS 2013, 2013
32013
Bidding Games on Markov Decision Processes
G Avni, TA Henzinger, R Ibsen-Jensen, P Novotný
International Conference on Reachability Problems, 1-12, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20