doc. RNDr. Petr Novotný, Ph.D.

Associate professor, Department of Computer Science

office: C412
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 4499
e‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 34

2013

Determinacy in Stochastic Games with Unbounded Payoff Functions

BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr

Article in Proceedings

Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013
Solvency Markov Decision Processes with Interest

BRÁZDIL Tomáš CHEN Taolue FOREJT Vojtěch NOVOTNÝ Petr SIMAITIS Aistis

Article in Proceedings

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), year: 2013

2012

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr

Article in Proceedings

Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012
Minimizing Expected Termination Time in One-Counter Markov Decision Processes

BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr WOJTCZAK Dominik

Article in Proceedings

Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012