79 citations · 424 across the 54 of their papers we have counts for
3 papers · 1 filter
Location Aggregation of Spatial Population CTMC Models
Luca Bortolussi, Cheng Feng
In this paper we focus on spatial Markov population models, describing the stochastic evolution of populations of agents, explicitly modelling their spatial distribution, represent…
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Ezio Bartocci, Luca Bortolussi, Tomǎš Brázdil +2
Continuous-time Markov decision processes are an important class of models in a wide range of applications, ranging from cyber-physical systems to synthetic biology. A central prob…
Matching models across abstraction levels with Gaussian Processes
Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti
Biological systems are often modelled at different levels of abstraction depending on the particular aims/resources of a study. Such different models often provide qualitatively co…