Stochastic invariants for probabilistic termination K Chatterjee, P Novotný, Đ Žikelić Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 105 | 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 | 91 | 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 | 77 | 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 | 47 | 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 | 47 | 2012 |

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 |

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 | 22 | 2016 |

Proving non-termination by program reversal K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 19 | 2021 |

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 | 18 | 2015 |

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 | 17 | 2019 |

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 | 17 | 2014 |

Termination analysis of probabilistic programs with martingales K Chatterjee, H Fu, P Novotný Foundations of Probabilistic Programming, 221-258, 2020 | 16 | 2020 |

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 | 16 | 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 | 15 | 2017 |

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 | 13 | 2012 |

On lexicographic proof rules for probabilistic termination K Chatterjee, E Kafshdar Goharshady, P Novotný, J Zárevúcky, Đ Žikelić Formal Aspects of Computing 35 (2), 1-25, 2023 | 11 | 2023 |

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 | 11 | 2019 |

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 |

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 | 8 | 2015 |

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 | 7 | 2020 |