Petr Novotný

V současné době jsem studentem doktorského studijního programu „Informatika“ na Fakultě informatiky Masarykovy univerzity v Brně. Studuji pod vedením prof. Antonína Kučery, mým konzultantem je Tomáš Brázdil. Životopis

Kontakty

mail: petr.novotny.mail (at) gmail.com
ICQ: 265-989-577
Osobní stránka v IS MU (autentizovaný přístup)

Publikace (en)

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
   
   

Prezentace

1. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.
   • CAV 2012, Berkeley, CA, USA. Slidy
   • GAMES 2012, Neapol, Itálie.
   • MEMICS 2012, Znojmo, ČR.
2. Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS 2012, Znojmo, ČR.