- Tytuł:
- SMC4AC : A New Symbolic Model Checker for Intelligent Agent Communication
- Autorzy:
-
El Kholy, W.
Bentahar, J.
Qu, H.
El Menshawy, M.
Dssouli, R. - Data publikacji:
- 2017
- Słowa kluczowe:
-
commitment action modalities
conditional commitment
conditional commitment actions
expressiveness
symbolic model checker
verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł