conf.researchr.org / Petr Novotný
Registered user since Tue 3 Jan 2017
Name:Petr Novotný
Country:Czechia
Affiliation:Masaryk University
Personal website: https://www.fi.muni.cz/~xnovot18/
Research interests:Probabilistic verification, reinforcement learning
Contributions