In this paper we present an overview of the field of deterministic approximation of Markov
processes, both in discrete and continuous times. We will discuss mean field approximation of …

We present a novel approach to learn logical formulae characterising the emergent behaviour
of a dynamical system from system observations. At a high level, the approach starts by …

… l can be condensed into an update vector v l , giving the net change in population variables
due to η l : v l … Additionally, each reaction η l has an associated rate function f l ( X ) giving the …

We consider the problem of computing the satisfaction probability of a formula for stochastic
models with parametric uncertainty. We show that this satisfaction probability is a smooth …

Vulnerability to adversarial attacks is one of the principal hurdles to the adoption of deep
learning in safety-critical applications. Despite significant efforts, both practical and theoretical, …

We address the specification and verification of spatio-temporal behaviours of complex
systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of …

… We say thatσ is piecewise constant when for any ℓ, σ(ℓ) is a … s such that s(ℓ) = σ(ℓ)(t), for any
ℓ ∈ L. Different kinds of signals … In the rest of the paper we will use ⃗x(ℓ,t) to denote ⃗x(ℓ)(t). …

… Bartocci, L. Bortolussi & L. Nenzi (2013): A temporal logic approach to modular design of …
Bortolussi (2010): Limit behavior of the hybrid approximation of Stochastic Process Algebras. In…

LGMD2B is a frequent proximo-distal myopathy with rapid evolution after age 20. Exacerbating
factors may be physical exercise and inflammation. There is very little information about …

We consider the problem of mining signal temporal logical requirements from a dataset of
regular (good) and anomalous (bad) trajectories of a dynamical system. We assume the …