Scenario selection by model-checking.
收藏Figshare2022-06-06 更新2026-04-28 收录
下载链接：
https://figshare.com/articles/dataset/Scenario_selection_by_model-checking_/20008972
下载链接
链接失效反馈官方服务：
资源简介：
For each of the six queries we show: (1) its pattern type and CTL formula, (2) its translation into English, (3) ☑ the scenario selection (i.e. control valuations) for which the associated model-checking output of the query is yes, (4) an English interpretation of this scenario selection.
创建时间：
2022-06-06
