Formal Infrastructure for Verification of Epistemic Properties of Multi-agent Systems (CROSBI ID 526279)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bagić, Marina ; Kunštić, Marijan
engleski
Formal Infrastructure for Verification of Epistemic Properties of Multi-agent Systems
Verification of multi-agent systems (MAS) is a huge challenge, especially for those systems where security and safety are of major importance. Verification detects faults, defects and drawbacks in an early stage of software development. Here, we give a formal model for verification of MAS by means of model checking technique. We extend the existing Action Computation Tree Logic (ACTL) with epistemic operators in order to reason about knowledge properties of MAS. We introduce new operators for manipulation on agent's actions with data. We explain their syntax and semantics for our ACTL-er (ACTL for Epistemic Reasoning), and provide some algorithms to obtain epistemic properties from the model state space.
ACTL ; Model Checking ; Multi-agent System ; Verification of Epistemic Properties
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
328-332-x.
2006.
objavljeno
Podaci o matičnoj publikaciji
Nketsa, A., Paludetto, M., Bertelle, C.
Toulouse: EUROSIS-ETI
Podaci o skupu
The 2006 European Simulation and Modelling Conference
predavanje
23.10.2006-25.10.2006
Toulouse, Francuska