Petr Novotný

cesky jazykanglicky jazyk

Fotka

I am currently a doctoral student at the Faculty of Informatics, Masaryk university in Brno. I am studying under supervision of prof. Antonín Kučera and Dr. Tomáš Brázdil.

CV

Contacts

mail: petr.novotny.mail (at) gmail.com
ICQ: 265-989-577
Personal info in university information system (version with restricted access)

Google + FB

Publications

  1. Determinacy in Stochastic Games with Unbounded Payoff Functions.
    by T. Brázdil, A. Kučera, and P. Novotný. In Proceedings of 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2012). To appear. Full version

  2. Minimizing Expected Termination Time in One-Counter Markov Decision Processes.
    by T. Brázdil, A. Kučera, P. Novotný and D. Wojtczak. In Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012). LNCS vol. 7392, pp. 141-152. Springer Berlin/Heidelberg. WWW Full version

  3. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.
    by T. Brázdil, K. Chatterjee, A. Kučera, and P. Novotný. In Proceedings of 24th International Conference on Computer Aided Verification (CAV 2012). LNCS vol. 7358, pp. 23-38. Springer Berlin/Heidelberg. WWW Full version

Presentations

  1. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.
  2. Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS 2012, Znojmo, Czech rep.