RNDr. Petr Novotný, Ph.D.
Office: C412
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4499 |
|---|---|
| E‑mail: |
|
Total number of publications: 24
2016
-
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016
-
Stability in Graphs and Games
27th International Conference on Concurrency Theory, CONCUR 2016, year: 2016
-
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, year: 2016
2015
-
Left atrium assessment: The evolving role of MRI
Journal of Cardiovascular Medicine, year: 2015, volume: 16, edition: 10, DOI
-
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 2015
-
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
Quantitative Evaluation of Systems, year: 2015
2014
-
Minimizing Running Costs in Consumption Systems
CoRR, year: 2014, volume: 2014
-
Minimizing Running Costs in Consumption Systems
Computer Aided Verification, year: 2014
-
Zero-Reachability in Probabilistic Multi-Counter Automata
CoRR, year: 2014
-
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), year: 2014