research
∙
12/16/2022
Towards Causal Temporal Reasoning for Markov Decision Processes
We introduce a new probabilistic temporal logic for the verification of ...
share
research
∙
11/04/2022
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
We consider the problem of predictive monitoring (PM), i.e., predicting ...
research
∙
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 ...
research
∙
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...
research
∙
08/16/2021
Neural Predictive Monitoring under Partial Observability
We consider the problem of predictive monitoring (PM), i.e., predicting ...
research
∙
05/21/2021
Certification of Iterative Predictions in Bayesian Neural Networks
We consider the problem of computing reach-avoid probabilities for itera...
research
∙
05/08/2021
On Guaranteed Optimal Robust Explanations for NLP Models
We build on abduction-based explanations for ma-chine learning and devel...
research
∙
09/17/2020
Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues
We present a novel bilateral negotiation model that allows a self-intere...
research
∙
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...
research
∙
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...
research
∙
08/01/2019
Neural Simplex Architecture
We present the Neural Simplex Architecture (NSA), a new approach to runt...
research
∙
03/05/2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
We introduce a probabilistic robustness measure for Bayesian Neural Netw...
research
∙
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...
research
∙
10/09/2018
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
An Implantable Cardioverter Defibrillator (ICD) is a medical device used...
research
∙
07/26/2018
Neural State Classification for Hybrid Systems
We introduce the State Classification Problem (SCP) for hybrid systems, ...
research
∙
10/27/2017