48 citations · 124 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
Unbiased Bayesian Inference for Population Markov Jump Processes via Random Truncations
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
We consider continuous time Markovian processes where populations of individual agents interact stochastically according to kinetic rules. Despite the increasing prominence of such…