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: | , |
|---|---|
| Format: | Article |
| Published: |
Springer New York LLC
2018
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/id/eprint/85710/ http://dx.doi.org/10.1007/s10489-017-1112-z |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|