Alert button
Picture for Nicola Paoletti

Nicola Paoletti

Alert button

Counterfactual Influence in Markov Decision Processes

Feb 13, 2024
Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti

Viaarxiv icon

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees

Dec 04, 2023
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Viaarxiv icon

Probabilistic Reach-Avoid for Bayesian Neural Networks

Oct 03, 2023
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

Figure 1 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 2 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 3 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 4 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Viaarxiv icon

Towards Causal Temporal Reasoning for Markov Decision Processes

Dec 16, 2022
Milad Kazemi, Nicola Paoletti

Figure 1 for Towards Causal Temporal Reasoning for Markov Decision Processes
Figure 2 for Towards Causal Temporal Reasoning for Markov Decision Processes
Figure 3 for Towards Causal Temporal Reasoning for Markov Decision Processes
Figure 4 for Towards Causal Temporal Reasoning for Markov Decision Processes
Viaarxiv icon

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

Nov 04, 2022
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi

Figure 1 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Figure 2 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Figure 3 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Figure 4 for Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Viaarxiv icon

Neural Predictive Monitoring under Partial Observability

Aug 17, 2021
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Figure 1 for Neural Predictive Monitoring under Partial Observability
Figure 2 for Neural Predictive Monitoring under Partial Observability
Figure 3 for Neural Predictive Monitoring under Partial Observability
Figure 4 for Neural Predictive Monitoring under Partial Observability
Viaarxiv icon

Neural Predictive Monitoring under Partial Observabilit

Aug 16, 2021
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Figure 1 for Neural Predictive Monitoring under Partial Observabilit
Figure 2 for Neural Predictive Monitoring under Partial Observabilit
Figure 3 for Neural Predictive Monitoring under Partial Observabilit
Figure 4 for Neural Predictive Monitoring under Partial Observabilit
Viaarxiv icon

Certification of Iterative Predictions in Bayesian Neural Networks

May 21, 2021
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

Figure 1 for Certification of Iterative Predictions in Bayesian Neural Networks
Figure 2 for Certification of Iterative Predictions in Bayesian Neural Networks
Figure 3 for Certification of Iterative Predictions in Bayesian Neural Networks
Figure 4 for Certification of Iterative Predictions in Bayesian Neural Networks
Viaarxiv icon

On Guaranteed Optimal Robust Explanations for NLP Models

May 14, 2021
Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska

Figure 1 for On Guaranteed Optimal Robust Explanations for NLP Models
Figure 2 for On Guaranteed Optimal Robust Explanations for NLP Models
Figure 3 for On Guaranteed Optimal Robust Explanations for NLP Models
Figure 4 for On Guaranteed Optimal Robust Explanations for NLP Models
Viaarxiv icon