Professor Marta Kwiatkowska

Digital Library

ACM Fellows

United Kingdom - 2016

citation

For contributions to the theory and practice of probabilistic verification.