Advances in Smart Systems Research |
| Publisher |
Future Technology Publications |
| Vol. 1 No. 1 |
Workshop Papers from KES Conferences 2011 |
| Journal ISSN |
2050-8662 |
| |
| Article Title | Towards Agents-Based Model Checking |
| Primary Author | Norihiro Kamide |
| Pages |
1 - 6
|
| Article ID |
k10w-001 |
| Publication Date |
27-Jun-12 |
| Abstract | A new logic, agents-indexed computation tree logic (ACTL), is obtained from the standard computation tree logic CTL by adding some agent operators. ACTL is intended to appropriately formalize reasoning about agents-based (or distributed) concurrent systems within an executable temporal logic by model checking. The model-checking, validity and satisfiability problems of ACTL are shown to be decidable. |
| | View Paper |
| Remarks |
Published in 'Groundbreaking Research Workshop' at the KES2010 Conference, 8-10 September 2010, Cardiff, UK. |
