
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Markov Population Models are a widespread formalism used to model the dy...
read it

AbstractionGuided Truncations for Stationary Distributions of Markov Population Models
To understand the longrun behavior of Markov population models, the com...
read it

MoonLight: A Lightweight Tool for Monitoring SpatioTemporal Properties
We present MoonLight, a tool for monitoring temporal and spatiotemporal...
read it

Resilience of Bayesian LayerWise Explanations under Adversarial Attacks
We consider the problem of the stability of saliencybased explanations ...
read it

Random Projections for Improved Adversarial Robustness
We propose two training techniques for improving the robustness of Neura...
read it

Analysis of Markov Jump Processes under Terminal Constraints
Many probabilistic inference problems such as stochastic filtering or th...
read it

A kernel function for Signal Temporal Logic formulae
We discuss how to define a kernel for Signal Temporal Logic (STL) formul...
read it

Densityembedding layers: a general framework for adaptive receptive fields
The effectiveness and performance of artificial neural networks, particu...
read it

Improved estimations of stochastic chemical kinetics by finite state expansion
Quantitative mechanistic models based on reaction networks with stochast...
read it

Robustness of Bayesian Neural Networks to GradientBased Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
read it

Bounding Mean First Passage Times in Population ContinuousTime Markov Chains
We consider the problem of bounding mean first passage times for a class...
read it

RejectionBased Simulation of NonMarkovian Agents on Complex Networks
Stochastic models in which agents interact with their neighborhood accor...
read it

Monitoring Mobile and Spatially Distributed CyberPhysical Systems
CyberPhysical Systems (CPS) consist of collaborative, networked and tig...
read it

Intrinsic Geometric Vulnerability of HighDimensional Artificial Intelligence
The success of modern Artificial Intelligence (AI) technologies depends ...
read it

Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
read it

Central Limit Model Checking
We consider probabilistic model checking for continuoustime Markov chai...
read it

A Robust Genetic Algorithm for Learning Temporal Specifications from Data
We consider the problem of mining signal temporal logical requirements f...
read it

Model Checking Markov Population Models by Stochastic Approximations
Many complex systems can be described by population models, in which a p...
read it

Location Aggregation of Spatial Population CTMC Models
In this paper we focus on spatial Markov population models, describing t...
read it

Matching models across abstraction levels with Gaussian Processes
Biological systems are often modelled at different levels of abstraction...
read it

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
We present a novel approach to learn the formulae characterising the eme...
read it

On the Robustness of Temporal Properties for Stochastic Models
Stochastic models such as ContinuousTime Markov Chains (CTMC) and Stoch...
read it
Luca Bortolussi
is this you? claim profile