Output details
11 - Computer Science and Informatics
University of South Wales
On the (un-)decidability of model-checking resource-bounded agents
<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.