Verifying systems of resource-bounded agents
Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We bri...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer Verlag
2016
|
| Online Access: | http://eprints.nottingham.ac.uk/34430/ http://eprints.nottingham.ac.uk/34430/ http://eprints.nottingham.ac.uk/34430/ http://eprints.nottingham.ac.uk/34430/1/cie16.pdf |