Symbolic model checking for temporal-epistemic logics-Reference-Cited by-同舟云学术

Symbolic model checking for temporal-epistemic logics

Published:2007-09 Issue:3 Volume:38 Page:77-99
ISSN:0163-5700
Container-title:ACM SIGACT News
language:en
Short-container-title:SIGACT News

Author:

Lomuscio Alessio¹,Penczek Wojciech²

Affiliation:

1. Imperial College London, London, UK

2. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland and Podlasie Academy, Siedlce, Poland

Publisher

Association for Computing Machinery (ACM)

Reference66 articles.

1. MCK : Model checking knowledge. http://www.cse.unsw.edu.au/~mck. MCK: Model checking knowledge. http://www.cse.unsw.edu.au/~mck.

2. Verics. http://verics.ipipan.waw.pl. Verics. http://verics.ipipan.waw.pl.

3. R. Alur L. de Alfaro T. Henzinger S. Krishnan F. Mang S. Qadeer S. Rajamani and S. Tasiran. MOCHA user manual. Technical report University of California at Berkeley 2000. http://www-cad.eecs.berkeley.edu/~mocha/doc/c-doc/c-manual.ps.gz. R. Alur L. de Alfaro T. Henzinger S. Krishnan F. Mang S. Qadeer S. Rajamani and S. Tasiran. MOCHA user manual. Technical report University of California at Berkeley 2000. http://www-cad.eecs.berkeley.edu/~mocha/doc/c-doc/c-manual.ps.gz.

4. A theory of timed automata

5. Alternating-time temporal logic

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning about memoryless strategies under partial observability and unconditional fairness constraints;Information and Computation;2015-06

2. Model checking epistemic–probabilistic logic using probabilistic interpreted systems;Knowledge-Based Systems;2013-09

3. Reasoning about Strategies under Partial Observability and Fairness Constraints;Electronic Proceedings in Theoretical Computer Science;2013-03-01

4. Process Calculus with Data Structure and its Model Checking Algorithm;Physics Procedia;2012

5. Quantitative Model Checking of Knowledge;FRONT ARTIF INTEL AP;2012