79 citations · 424 across the 54 of their papers we have counts for
5 papers · 1 filter
Model Checking Markov Population Models by Stochastic Approximations
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Many complex systems can be described by population models, in which a pool of agents interacts and produces complex collective behaviours. We consider the problem of verifying for…
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Laura Nenzi, Simone Silvetti, Ezio Bartocci +1
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 traini…
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
L. Nenzi, L. Bortolussi, V. Ciancia +2
In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cybe…
Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes
Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf +1
Contact processes form a large and highly interesting class of dynamic processes on networks, including epidemic and information spreading. While devising stochastic models of such…
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Simone Silvetti, Alberto Policriti, Luca Bortolussi
Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification p…