Title :
Advances in Symbolic Model Checking for Multi-agent Systems
Author :
Lomuscio, Alessio R.
Author_Institution :
Dept. of Comput., Imperial Coll. London, London, UK
Abstract :
In this article, MAS symbolic verification against temporal-epistemic specifications was discussed. A further recent development concerns the verification of open MAS where the number of agents is unbounded at design time. In this setting sufficient conditions can be given for the establishment of cutoffs in MAS. A cut-off is the maximal number of agents that need to be considered to draw conclusions on an arbitrary system composed of any number of agents.
Keywords :
formal verification; multi-agent systems; temporal logic; theorem proving; MAS symbolic verification; arbitrary system; cut-off; multiagent systems; sufficient conditions; symbolic model checking; temporal-epistemic specifications; Cognition; Fault tolerance; Fault tolerant systems; Joints; Model checking; Multi-agent systems; Presses;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2014 21st International Symposium on
Conference_Location :
Verona
Print_ISBN :
978-1-4799-4228-2
DOI :
10.1109/TIME.2014.23
