DocumentCode
136272
Title
Advances in Symbolic Model Checking for Multi-agent Systems
Author
Lomuscio, Alessio R.
Author_Institution
Dept. of Comput., Imperial Coll. London, London, UK
fYear
2014
fDate
8-10 Sept. 2014
Firstpage
4
Lastpage
4
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning (TIME), 2014 21st International Symposium on
Conference_Location
Verona
ISSN
1530-1311
Print_ISBN
978-1-4799-4228-2
Type
conf
DOI
10.1109/TIME.2014.23
Filename
6940368
Link To Document