Runtime verification of multi-agent systems interaction quality
Since multi-agent systems are inherently complex, there are possibilities that errors related to multi-agent systems interaction could occur. Currently, many verification approaches have been proposed by focusing on specific properties, using a particular technique and during certain development pha...
Saved in:
Main Authors: | Abu Bakar, Najwa, Selamat, Ali |
---|---|
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://eprints.utm.my/id/eprint/51292/ https://doi.org/10.1007/978-3-642-36546-1_45 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
A categorization of runtime norm synthesis in normative multi-agent systems
by: Kadir, M. R. A., et al.
Published: (2019) -
Agent verification design of short text messaging system using formal method
by: Selamat, Ali, et al.
Published: (2009) -
Analysis on the model checking agent for SMS Management System verification using temporal logic
by: Abdul Bujang, Siti Diana, et al.
Published: (2009) -
Multi-agent verification of RFID system
by: Selamat, Ali, et al.
Published: (2009) -
Agent systems verification : systematic literature review and mapping
by: Abu Bakar, Najwa, et al.
Published: (2018)