Jack Wheatley's scientific contributions

Publication (1)

Full-text available
This work introduces a new abstraction technique for reducing the state space of large, discrete-time labelled Markov chains. The abstraction leverages the semantics of interval Markov decision processes and the existing notion of approximate probabilistic bisimulation. Whilst standard abstractions make use of abstract points that are taken from th...


... one(multi)-step transition kernels [19] and trajectories [13], [22], [30]. Based on the approximate bisimulation notion in [14], a technique for reducing the state space of labeled Markov chains through state aggregation is proposed in [15]. Unlike existing work that typically defines the notions of (approximate) bisimulation on the state space, we provide an algorithm that constructs a reduced system by aggregating the mode space, which provably approximates the original one. ...