|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 5 of 9 found articles
| Title: |
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic |
| Author: |
M. Kacprzak A. Lomuscio W. Penczek |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 63 (2004) nr. 2-3 pages 221-240 |
| Year: |
2004-11-30 |
| Contents: |
This paper addresses the problem of verification of temporal epistemic properties of multi-agent systems by means of symbolic model checking. An overview of the technique of bounded model checking for temporal epistemic logic, and an analysis of some limitations of the method are provided. An extension of this technique called unbounded model checking to solve these limitations is explored. Similarities and differences of the two methods are explicitly exemplified by the analysis of a scenario in the two formalisms. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 5 of 9 found articles
| << previous | next >> |