Model checking for decision making behaviour of heterogeneous multi-agent autonomous system
An autonomous system has been widely applied for various civil/military research because of its versatile capability of understanding high-level intent and direction of a surrounding environment and targets of interest. However, as autonomous systems can be out of control to cause serious loss, inju...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://dspace.lib.cranfield.ac.uk/handle/1826/8031 |