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: tiefling (at) mail.muni.cz
ICQ: 265-989-577
Osobní stránka v IS MU (autentizovaný přístup)

Informace o výuce

V této sekci budou průběžně doplňované informace o výuce v semestru podzim 2011 (především souhrn látky probrané na cvičení). K podrobnějším informacím můžete přejít přes následující odkazy:

• IB102 - Automaty a gramatiky
• MA007 - Matematická logika

Staré informace

Publikace (en)

1. 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). To Appear.
   
   
2. 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). To Appear.