Catalogue mapping query patterns to their translations in CTL.
收藏Figshare2022-06-06 更新2026-04-28 收录
下载链接：
https://figshare.com/articles/dataset/Catalogue_mapping_query_patterns_to_their_translations_in_CTL_/20008969
下载链接
链接失效反馈官方服务：
资源简介：
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
