2 citations · 4 across the 5 of their papers we have counts for
3 papers · 1 filter
Neural Predictive Monitoring under Partial Observability
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime future violations of a system from the current state. We work under the most realistic settings w…
Certification of Iterative Predictions in Bayesian Neural Networks
Matthew Wicker, Luca Laurenti, Andrea Patane +3
We consider the problem of computing reach-avoid probabilities for iterative predictions made with Bayesian neural network (BNN) models. Specifically, we leverage bound propagation…
On Guaranteed Optimal Robust Explanations for NLP Models
Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore +2
We build on abduction-based explanations for ma-chine learning and develop a method for computing local explanations for neural network models in natural language processing (NLP).…