Petr Novotný - POPL 2017 (original) (raw)

Name:Petr Novotný

Country:Austria

Affiliation:IST Austria

Research interests:Verification, Probabilistic systems, Planning under uncertainty