共 50 条
- [1] Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (25): : 103 - 117
- [2] Parameterised Model Checking for Alternating-Time Temporal Logic [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1230 - 1238
- [3] Model Checking Alternating-time Temporal Logics of Knowledge [J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 5424 - 5426
- [4] Probabilistic alternating-time temporal logic and model checking algorithm [J]. FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 2, PROCEEDINGS, 2007, : 35 - +
- [6] Action and knowledge in alternating-time temporal logic [J]. SYNTHESE, 2006, 149 (02) : 121 - 153
- [9] A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic [J]. Synthese, 2004, 142 : 203 - 227
- [10] On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 361 - 377