Gwangui Hong

A runtime verification framework for dynamically adaptive multi-agent systems

2016

Dynamically adaptive multi-agent systems (DAMS) consist of multiple agents that adapt to changing system and environmental conditions in order to achieve collaborative goals. As DAMS are found in applications across various domains, ensuring the correct …