48 citations · 124 across the 18 of their papers we have counts for
19 papers
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…
Experiential AI
Drew Hemment, Ruth Aylett, Vaishak Belle +5
Experiential AI is proposed as a new research agenda in which artists and scientists come together to dispel the mystery of algorithms and make their mechanisms vividly apparent. I…
Geometric fluid approximation for general continuous-time Markov chains
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Fluid approximations have seen great success in approximating the macro-scale behaviour of Markov systems with a large number of discrete states. However, these methods rely on the…
Persistent Stochastic Non-Interference
Jane Hillston, Carla Piazza, Sabina Rossi
In this paper we present an information flow security property for stochastic, cooperating, processes expressed as terms of the Performance Evaluation Process Algebra (PEPA). We in…
MELA: Modelling in Ecology with Location Attributes
Ludovica Luisa Vissat, Jane Hillston, Glenn Marion +1
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…
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…