Agent systems verification : systematic literature review and mapping
Agent systems are distributed systems consist of agents that autonomously interact to each other in an environment to perform tasks and achieve goals. Performing verification is important to ensure correctness of agent properties and to detect faults. The objective of this review is to identify rese...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | Article |
| 出版: |
Springer New York LLC
2018
|
| 主題: | |
| 在線閱讀: | http://eprints.utm.my/id/eprint/85710/ http://dx.doi.org/10.1007/s10489-017-1112-z |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|