Nicola Paoletti | DeepAI

DeepAI AI Chat

Featured Co-authors

Alessandro Abate
52 publications
Marta Kwiatkowska
51 publications
Radu Grosu
47 publications
Nils Jansen
46 publications
Ezio Bartocci
43 publications
Luca Bortolussi
33 publications
Rahul Mangharam
26 publications
Luca Laurenti
24 publications
Ashish Tiwari
23 publications
Shan Lin
22 publications
Scott A. Smolka
20 publications

∙ 12/16/2022

Towards Causal Temporal Reasoning for Markov Decision Processes

We introduce a new probabilistic temporal logic for the verification of ...

25 Milad Kazemi, et al. ∙

∙ 11/04/2022

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

We consider the problem of predictive monitoring (PM), i.e., predicting ...

0 Francesca Cairoli, et al. ∙

∙ 05/08/2022

An STL-based Formulation of Resilience in Cyber-Physical Systems

Resiliency is the ability to quickly recover from a violation and avoid ...

0 Hongkai Chen, et al. ∙

∙ 01/07/2022

Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

We study how to exploit the notion of strategy templates to learn strate...

0 Pallavi Bagga, et al. ∙

∙ 08/16/2021

Neural Predictive Monitoring under Partial Observability

We consider the problem of predictive monitoring (PM), i.e., predicting ...

3 Francesca Cairoli, et al. ∙

∙ 05/21/2021

Certification of Iterative Predictions in Bayesian Neural Networks

We consider the problem of computing reach-avoid probabilities for itera...

7 Matthew Wicker, et al. ∙

∙ 05/08/2021

On Guaranteed Optimal Robust Explanations for NLP Models

We build on abduction-based explanations for ma-chine learning and devel...

4 Emanuele La Malfa, et al. ∙

∙ 09/17/2020

Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues

We present a novel bilateral negotiation model that allows a self-intere...

10 Pallavi Bagga, et al. ∙

∙ 03/03/2020

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

Even though model predictive control (MPC) is currently the main algorit...

13 Hongkai Chen, et al. ∙

∙ 01/31/2020

A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

We present a novel negotiation model that allows an agent to learn how t...

27 Pallavi Bagga, et al. ∙

∙ 08/01/2019

Neural Simplex Architecture

We present the Neural Simplex Architecture (NSA), a new approach to runt...

0 Dung Phan, et al. ∙

∙ 03/05/2019

Statistical Guarantees for the Robustness of Bayesian Neural Networks

We introduce a probabilistic robustness measure for Bayesian Neural Netw...

0 Luca Cardelli, et al. ∙

∙ 01/10/2019

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

We present a new method for the automated synthesis of digital controlle...

0 Fedor Shmarov, et al. ∙

∙ 10/09/2018

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices

An Implantable Cardioverter Defibrillator (ICD) is a medical device used...

0 Nicola Paoletti, et al. ∙

∙ 07/26/2018

Neural State Classification for Hybrid Systems

We introduce the State Classification Problem (SCP) for hybrid systems, ...

0 Dung Phan, et al. ∙

∙ 10/27/2017

Declarative vs Rule-based Control for Flocking Dynamics

The popularity of rule-based flocking models, such as Reynolds' classic ...

0 Usama Mehmood, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world