Output details
11 - Computer Science and Informatics
University of South Wales
Return to search
Output 0 of 0 in the submission
Output title
On the (un-)decidability of model-checking resource-bounded agents
Type
E - Conference contribution
Name of conference/published proceedings
19th European Conference on Artificial Intelligence (ECAI)
Volume number
215
Issue number
-
First page of article
567
ISSN of proceedings
-
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<11> Analysis of how resource bounds affect the decidability of model checking in multi-agent
systems. Accepted as a full paper, this represents joint research with TU Clausthal and builds on
prior workshop papers. 607 papers were submitted to ECAI-2010, 135 full papers were accepted
for presentation (acceptance rate: 22%). The results show that certain resource information,
though essential for a true representation of systems, cannot be verified by model checking unless the system is bounded. This has impacts on verification of high-risk, high-security applications, and lead to ongoing collaborations with Life Sciences at Swansea University in modelling of cancer cells.
Interdisciplinary
-
Cross-referral requested
-
Research group
2 - Intelligent Systems
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
