Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Hua Wu
Barbara Aquilani
Jun-ichi Abe
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Augustin Fruchard
Home
/
Author
/
PETR NOVOTNÝ
Author Info
Open Visualization
Name
Affiliation
Papers
PETR NOVOTNÝ
IST Austria, Klosterneuburg, Austria
8
Collaborators
Citations
PageRank
19
46
3.35
Referers
Referees
References
80
160
87
Search Limit
100
160
Publications (8 rows)
Collaborators (19 rows)
Referers (80 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Deciding Fast Termination for Probabilistic VASS with Nondeterminism.
0
0.34
2019
On the Complexity of Value Iteration.
0
0.34
2019
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
10
0.49
2018
Efficient Algorithms for Checking Fast Termination in VASS.
0
0.34
2017
Stochastic Invariants for Probabilistic Termination.
6
0.41
2017
Optimizing Expectation with Guarantees in POMDPs (Technical Report).
0
0.34
2016
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
26
0.70
2015
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis.
4
0.40
2014
1