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]).
创建时间：
2022-06-06
