research
∙
08/31/2023
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints
Score-based and diffusion models have emerged as effective approaches fo...
share
research
∙
05/25/2023
CARSO: Counter-Adversarial Recall of Synthetic Observations
In this paper, we propose a novel adversarial defence mechanism for imag...
research
∙
05/24/2023
Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension
Despite their impressive performance in classification, neural networks ...
research
∙
05/03/2023
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
Logic is the main formal language to perform automated reasoning, and it...
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
∙
07/13/2022
On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
05/11/2022
Stochastic Variational Smoothed Model Checking
Model-checking for parametric stochastic models can be expressed as chec...
research
∙
05/09/2022
Graph Neural Networks for Propositional Model Counting
Graph Neural Networks (GNNs) have been recently leveraged to solve sever...
research
∙
01/24/2022
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
We introduce a similarity function on formulae of signal temporal logic ...
research
∙
10/18/2021
Variance Reduction in Stochastic Reaction Networks using Control Variates
Monte Carlo estimation in plays a crucial role in stochastic reaction ne...
research
∙
08/16/2021
Neural Predictive Monitoring under Partial Observability
We consider the problem of predictive monitoring (PM), i.e., predicting ...
research
∙
06/24/2021
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Markov Population Models are a widespread formalism used to model the dy...
research
∙
05/03/2021
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
To understand the long-run behavior of Markov population models, the com...
research
∙
04/29/2021
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal...
research
∙
02/22/2021
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks
We consider the problem of the stability of saliency-based explanations ...
research
∙
02/18/2021
Random Projections for Improved Adversarial Robustness
We propose two training techniques for improving the robustness of Neura...
research
∙
10/20/2020
Analysis of Markov Jump Processes under Terminal Constraints
Many probabilistic inference problems such as stochastic filtering or th...
research
∙
09/11/2020
A kernel function for Signal Temporal Logic formulae
We discuss how to define a kernel for Signal Temporal Logic (STL) formul...
research
∙
06/23/2020
Density-embedding layers: a general framework for adaptive receptive fields
The effectiveness and performance of artificial neural networks, particu...
research
∙
06/12/2020
Improved estimations of stochastic chemical kinetics by finite state expansion
Quantitative mechanistic models based on reaction networks with stochast...
research
∙
02/11/2020
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
10/28/2019
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
We consider the problem of bounding mean first passage times for a class...
research
∙
10/09/2019
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks
Stochastic models in which agents interact with their neighborhood accor...
research
∙
04/15/2019
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...
research
∙
11/08/2018
Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence
The success of modern Artificial Intelligence (AI) technologies depends ...
research
∙
06/01/2018
Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
research
∙
04/23/2018
Central Limit Model Checking
We consider probabilistic model checking for continuous-time Markov chai...
research
∙
11/13/2017
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
We consider the problem of mining signal temporal logical requirements f...
research
∙
11/10/2017
Model Checking Markov Population Models by Stochastic Approximations
Many complex systems can be described by population models, in which a p...
research
∙
10/26/2016
Location Aggregation of Spatial Population CTMC Models
In this paper we focus on spatial Markov population models, describing t...
research
∙
05/07/2016
Matching models across abstraction levels with Gaussian Processes
Biological systems are often modelled at different levels of abstraction...
research
∙
12/29/2013
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
We present a novel approach to learn the formulae characterising the eme...
research
∙
09/03/2013