Category: Uncategorized

Marta was awarded the prestigious Lovelace Medal in 2019 for her research in probabilistic and quantitative verification. She delivered her Lovelace Lecture […]

Here we propose a framework to provide safety certification for given control policies, and synthesize control policies that improve the certification bounds.

Here we build on abduction-based explanations for machine learning and develop a method for computing local explanations for neural network models in natural […]