Push a cart through any supermarket on a Saturday morning and you'll notice something odd. People fall into patterns almost ...

Abstract: Temporal logics like Computation Tree Logic (CTL) have been widely used as expressive formalisms to capture rich behavioural specifications. CTL can express properties such as reachability, ...