79 citations · 424 across the 54 of their papers we have counts for
5 papers · 1 filter
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks
Gerrit Großmann, Luca Bortolussi, Verena Wolf
Stochastic models in which agents interact with their neighborhood according to a network topology are a powerful modeling framework to study the emergence of complex dynamic patte…
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Michael Backenköhler, Luca Bortolussi, Verena Wolf
We consider the problem of bounding mean first passage times for a class of continuous-time Markov chains that captures stochastic interactions between groups of identical agents.…
Reducing Spreading Processes on Networks to Markov Population Models
Gerrit Großmann, Luca Bortolussi
Stochastic processes on complex networks, where each node is in one of several compartments, and neighboring nodes interact with each other, can be used to describe a variety of re…
Control Variates for Stochastic Simulation of Chemical Reaction Networks
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Stochastic simulation is a widely used method for estimating quantities in models of chemical reaction networks where uncertainty plays a crucial role. However, reducing the statis…
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti +1
Cyber-Physical Systems~(CPS) consist of collaborative, networked and tightly intertwined computational (logical) and physical components, each operating at different spatial and te…