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...
محفوظ في:
المؤلفون الرئيسيون: | Abu Bakar, Najwa, Selamat, Ali |
---|---|
التنسيق: | Conference or Workshop Item |
منشور في: |
2013
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://eprints.utm.my/id/eprint/51292/ https://doi.org/10.1007/978-3-642-36546-1_45 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
A categorization of runtime norm synthesis in normative multi-agent systems
بواسطة: Kadir, M. R. A., وآخرون
منشور في: (2019) -
Agent verification design of short text messaging system using formal method
بواسطة: Selamat, Ali, وآخرون
منشور في: (2009) -
Analysis on the model checking agent for SMS Management System verification using temporal logic
بواسطة: Abdul Bujang, Siti Diana, وآخرون
منشور في: (2009) -
Multi-agent verification of RFID system
بواسطة: Selamat, Ali, وآخرون
منشور في: (2009) -
Agent systems verification : systematic literature review and mapping
بواسطة: Abu Bakar, Najwa, وآخرون
منشور في: (2018)