We present a novel application of stochastic simulation and model-checking methods to
determining whether bus services are fulfilling their service-level agreement to provide on-time …

Background Movement is central to understanding the ecology of animals. The most robustly
definable segments of an individual’s lifetime track are its diel activity routines (DARs). This …

We address the question of how best to fit animal movement paths, represented by point
relocation time series, to a novel stochastic walk model-referred to as M-cubed-in a way that …

In this paper we present the recently introduced Three-Valued Spatio-Temporal Logic (TSTL),
which extends the available spatio-temporal analysis of stochastic systems, and an …

Background No versatile web app exists that allows epidemiologists and managers around
the world to comprehensively analyze the impacts of COVID-19 mitigation. The http://covid-…

We present methods for building a Java Runtime-Alterable-Model Platform (RAMP) of
complex dynamical systems. We illustrate our methods by building a multivariant SEIR (epidemic) …

We investigated the initial outbreak rates and subsequent social distancing behaviour over
the initial phase of the COVID-19 pandemic across 29 Combined Statistical Areas (CSAs) of …

Ecology studies the interactions between individuals, species and the environment. The ability
to predict the dynamics of ecological systems would support the design and monitoring of …

Background An understanding of epidemiological dynamics, once confined to mathematical
epidemiologists and applied mathematicians, can be disseminated to a non-mathematical …

We formulate a refined SEIR epidemic model that explicitly includes a contact class C that
either thwarts pathogen invasion and returns to the susceptible class S or progresses …