![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
doc. RNDr. Petr Novotný, Ph.D.
docent – Katedra teorie programování
kancelář: C412
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4499 |
---|
sociální a akademické sítě: |
---|
Počet publikací: 34
2013
-
Determinacy in Stochastic Games with Unbounded Payoff Functions
Mathematical and Engineering Methods in Computer Science (MEMICS 2012), rok: 2013
-
Solvency Markov Decision Processes with Interest
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), rok: 2013
2012
-
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Computer Aided Verification - 24th International Conference, CAV 2012, rok: 2012
-
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), rok: 2012