Model-checking ecological state-transition graphs
Table 2
Catalogue mapping query patterns to their translations in CTL.
Dynamical properties relevant to ecological systems are gathered into patterns. The patterns are written in English and translated into CTL formulas. x and y are place-holders for state properties. (Adapted from [49]).