79 citations · 424 across the 54 of their papers we have counts for
3 papers · 2 filters
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…
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…
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…