Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Petr Novotny

Registered user since Tue 3 Jan 2017

Name: Petr Novotny

Country: Austria

Affiliation: IST Austria

Personal website: http://pub.ist.ac.at/~pnovotny/

Research interests: Verification, Probabilistic systems, Planning under uncertainty

Contributions

PLDI 2021 Proving Non-termination by Program Reversal
Show activities from other conferences

Using general profile