Petr Novotný

According to our database1, Petr Novotný authored at least 18 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





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.
PACMPL, 2018

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