Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 429825

Implementation of Epistemic Operators for Model Checking Multi-agent Systems


Bagić Babac, Marina; Kunštić, Marijan
Implementation of Epistemic Operators for Model Checking Multi-agent Systems // Lecture Notes in Computer Science, 5796 (2009), 217-228 (međunarodna recenzija, članak, znanstveni)


Naslov
Implementation of Epistemic Operators for Model Checking Multi-agent Systems

Autori
Bagić Babac, Marina ; Kunštić, Marijan

Izvornik
Lecture Notes in Computer Science (0302-9743) 5796 (2009); 217-228

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Action Computation Tree Logic with Unless Operator; Epistemic Reasoning; Multi-agent Systems

Sažetak
The problem of multi-agent system (MAS) specification and verification has been introduced in this paper, Epistemic transition system (ETS) represents an agent as the smallest unit in a multi-agent system, while Epistemic synchronous product (ESP) represents the formal model for a multi-agent system. Therefore, a formal framework for epistemic properties of multi-agent systems has been provided. A special extension of Action computation tree logic with unless operator for epistemic reasoning (ACTLW-ER) is used for MAS model checking. Epistemic operators of ACTLW-ER are implemented by symbolic model checking algorithms using binary decision diagrams.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekt / tema
036-0362027-1640 - UPRAVLJANJE MREŽOM I USLUGAMA TEMELJENO NA ZNANJU (Dragan Jevtić, )

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (autor)

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju

Bagić Babac, Marina; Kunštić, Marijan
Implementation of Epistemic Operators for Model Checking Multi-agent Systems // Lecture Notes in Computer Science, 5796 (2009), 217-228 (međunarodna recenzija, članak, znanstveni)
Bagić Babac, M. & Kunštić, M. (2009) Implementation of Epistemic Operators for Model Checking Multi-agent Systems. Lecture Notes in Computer Science, 5796, 217-228.
@article{article, year = {2009}, pages = {217-228}, keywords = {Action Computation Tree Logic with Unless Operator, Epistemic Reasoning, Multi-agent Systems}, journal = {Lecture Notes in Computer Science}, volume = {5796}, issn = {0302-9743}, title = {Implementation of Epistemic Operators for Model Checking Multi-agent Systems}, keyword = {Action Computation Tree Logic with Unless Operator, Epistemic Reasoning, Multi-agent Systems} }

Časopis indeksira:


  • Scopus