Name:Petr Novotný

Country:Austria

Affiliation:IST Austria

Research interests:Verification, Probabilistic systems, Planning under uncertainty