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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Springer New York LLC
2018
|
| Subjects: |