Picture for Nicola Paoletti

Nicola Paoletti

Neural Predictive Monitoring under Partial Observability

Add code
Aug 17, 2021
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

Certification of Iterative Predictions in Bayesian Neural Networks

Add code
May 21, 2021
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

Add code
May 14, 2021
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

Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues

Add code
Sep 17, 2020
Figure 1 for Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues
Figure 2 for Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues
Figure 3 for Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues
Figure 4 for Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues
Viaarxiv icon

MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas

Add code
Mar 03, 2020
Figure 1 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Figure 2 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Figure 3 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Figure 4 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Viaarxiv icon

A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

Add code
Feb 03, 2020
Figure 1 for A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation
Figure 2 for A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation
Figure 3 for A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation
Figure 4 for A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation
Viaarxiv icon

Neural Simplex Architecture

Add code
Aug 01, 2019
Figure 1 for Neural Simplex Architecture
Figure 2 for Neural Simplex Architecture
Figure 3 for Neural Simplex Architecture
Figure 4 for Neural Simplex Architecture
Viaarxiv icon

Statistical Guarantees for the Robustness of Bayesian Neural Networks

Add code
Mar 05, 2019
Figure 1 for Statistical Guarantees for the Robustness of Bayesian Neural Networks
Figure 2 for Statistical Guarantees for the Robustness of Bayesian Neural Networks
Figure 3 for Statistical Guarantees for the Robustness of Bayesian Neural Networks
Figure 4 for Statistical Guarantees for the Robustness of Bayesian Neural Networks
Viaarxiv icon

Neural State Classification for Hybrid Systems

Add code
Jul 26, 2018
Figure 1 for Neural State Classification for Hybrid Systems
Figure 2 for Neural State Classification for Hybrid Systems
Figure 3 for Neural State Classification for Hybrid Systems
Viaarxiv icon

How to Learn a Model Checker

Add code
Dec 05, 2017
Figure 1 for How to Learn a Model Checker
Figure 2 for How to Learn a Model Checker
Figure 3 for How to Learn a Model Checker
Figure 4 for How to Learn a Model Checker
Viaarxiv icon