79 citations · 424 across the 54 of their papers we have counts for
5 papers · 1 filter
Distribution approximations for the chemical master equation: comparison of the method of moments and the system size expansion
Alexander Andreychenko, Luca Bortolussi, Ramon Grima +2
The stochastic nature of chemical reactions involving randomly fluctuating population sizes has lead to a growing research interest in discrete-state stochastic models and their an…
Efficient Checking of Individual Rewards Properties in Markov Population Models
Luca Bortolussi, Jane Hillston
In recent years fluid approaches to the analysis of Markov populations models have been demonstrated to have great pragmatic value. Initially developed to estimate the behaviour of…
CARMA: Collective Adaptive Resource-sharing Markovian Agents
Luca Bortolussi, Rocco De Nicola, Vashti Galpin +5
In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped wit…
Fluid Model Checking of Timed Properties
Luca Bortolussi, Roberta Lanciani
We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on t…
Learning and Designing Stochastic Processes from Logical Constraints
Luca Bortolussi, Guido Sanguinetti
Stochastic processes offer a flexible mathematical formalism to model and reason about systems. Most analysis tools, however, start from the premises that models are fully specifie…