Verification of heterogeneous multi-agent system using MCMAS (Q5265639)
From MaRDI portal
scientific article; zbMATH DE number 6466950
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification of heterogeneous multi-agent system using MCMAS |
scientific article; zbMATH DE number 6466950 |
Statements
Verification of heterogeneous multi-agent system using MCMAS (English)
0 references
28 July 2015
0 references
model checking
0 references
heterogeneous multi-agent system
0 references
Kripke model
0 references
computational temporal logic
0 references
0 references
0 references