3 papers
q-bio.PE2024
AgentBasedModeling.jl: a tool for stochastic simulation of structured population dynamics
Paul Piho, Philipp Thomas
Agent-based models capture heterogeneity among individuals in a population and are widely used in studies of multi-cellular systems, disease, epidemics and demography to name a few…
cs.LG2021
Active and sparse methods in smoothed model checking
Paul Piho, Jane Hillston
Smoothed model checking based on Gaussian process classification provides a powerful approach for statistical model checking of parametric continuous time Markov chain models. The…
cs.LO2016
Stochastic and Spatial Equivalences for PALOMA
Paul Piho, Jane Hillston
We concentrate our study on a recent process algebra - PALOMA - intended to capture interactions between spatially distributed agents, for example in collective adaptive systems. N…