| Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Đ Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 78 | 2017 |
| 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 | 75 | 2016 |
| 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 | 50 | 2017 |
| 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 | 42 | 2012 |
| 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 | 33 | 2018 |
| 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 | 17 | 2015 |
| 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 | 16 | 2018 |
| 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 | 16 | 2016 |
| 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 | 13 | 2014 |
| 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 | 12 | 2012 |
| 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 | 8 | 2021 |
| 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 | 8 | 2012 |
| Termination analysis of probabilistic programs with martingales K Chatterjee, H Fu, P Novotný Foundations of Probabilistic Programming, 221-258, 2020 | 7 | 2020 |
| 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 | 7 | 2017 |
| 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 | 7 | 2015 |
| 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 | 6 | 2019 |
| Stability in graphs and games T Brázdil, V Forejt, A Kučera, P Novotný CONCUR 2016, 2016 | 6 | 2016 |
| 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 | 6 | 2014 |
| 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 | 5 | 2020 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
