A Data Symmetry Reduction Technique for Temporal-epistemic Logic-Reference-Cited by-同舟云学术

A Data Symmetry Reduction Technique for Temporal-epistemic Logic

Published:2009 Issue: Volume: Page:69-83
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Cohen Mika,Dam Mads,Lomuscio Alessio,Qu Hongyang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04761-9_6

Reference21 articles.

1. Ip, C.N., Dill, D.L.: Better verification through symmetry. Form. Methods Syst. Des. 9(1-2), 41–75 (1996)

2. Fagin, R., Halpern, J.Y., Vardi, M.Y., Moses, Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)

3. Lecture Notes in Computer Science;P. Gammie,2004

4. Nabialek, W., Niewiadomski, A., Penczek, W., Pólrola, A., Szreter, M.: VerICS 2004: A model checker for real time and multi-agent systems. In: Proc. CS&P 2004, pp. 88–99. Humboldt University (2004)

5. Lecture Notes in Computer Science;A. Lomuscio,2009

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

1. Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation;Lecture Notes in Computer Science;2021

2. Verification of logical consistency in robotic reasoning;Robotics and Autonomous Systems;2016-09

3. A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems;Logics in Artificial Intelligence;2016

4. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic;Distributed Computing and Artificial Intelligence;2013

5. Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction;Service-Oriented Computing;2012