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 | 72 | 2016 |
Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Đ Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 58 | 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 | 39 | 2012 |
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 | 33 | 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 | 17 | 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 | 16 | 2015 |
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 | 15 | 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 | 11 | 2014 |
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 | 9 | 2018 |
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 | 9 | 2012 |
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 | 6 | 2015 |
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 |
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 | 6 | 2012 |
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 | 5 | 2017 |
Stability in graphs and games T Brázdil, V Forejt, A Kučera, P Novotný CONCUR 2016, 2016 | 4 | 2016 |
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 | 3 | 2018 |
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 | 3 | 2016 |
Solvency Markov decision processes with interest T Brázdil, T Chen, V Forejt, P Novotný, A Simaitis FST&TCS 2013, 2013 | 3 | 2013 |
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 | 2 | 2019 |