Marta was awarded the prestigious Lovelace Medal in 2019 for her research in probabilistic and quantitative verification. She delivered her Lovelace Lecture in May 2021 “Probabilistic model checking for the data-rich world.” A recording can be found here.

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 language processing (NLP). Here we demonstrate provable guarantees on the robustness of decision rules, paving the way towards provably causally robust decision-making systems. Here we introduce the first method for verifying the time-unbounded safety of […]