According to our database1, Petr Novotný authored at least 18 papers between 2012 and 2019.
Legend:Book In proceedings Article PhD thesis Other
On the Complexity of Value Iteration.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs.
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Stochastic invariants for probabilistic termination.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Optimizing Expectation with Guarantees in POMDPs.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Stability in Graphs and Games.
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes.
Proceedings of the Automated Technology for Verification and Analysis, 2016
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015
Long-Run Average Behaviour of Probabilistic Vector Addition Systems.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Zero-reachability in probabilistic multi-counter automata.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Minimizing Running Costs in Consumption Systems.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Solvency Markov Decision Processes with Interest.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
Determinacy in Stochastic Games with Unbounded Payoff Functions.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012
Minimizing Expected Termination Time in One-Counter Markov Decision Processes.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012