| Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Đ Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 125 | 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 | 99 | 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 | 93 | 2017 |
| 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 | 54 | 2018 |
| 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 | 48 | 2012 |
| Proving non-termination by program reversal K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 25 | 2021 |
| 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 | 24 | 2016 |
| 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 | 23 | 2019 |
| Termination analysis of probabilistic programs with martingales K Chatterjee, H Fu, P Novotný Foundations of Probabilistic Programming, 221-258, 2020 | 22 | 2020 |
| 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 | 22 | 2018 |
| 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 | 21 | 2020 |
| 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 | 19 | 2015 |
| 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 | 17 | 2017 |
| 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 | 16 | 2021 |
| 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 | 16 | 2014 |
| 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 | 14 | 2012 |
| 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 | 11 | 2020 |
| 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 | 10 | 2019 |
| 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 | 9 | 2015 |
| 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 | 9 | 2012 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
