Formal Verification of Open Multi-Agent Systems.

Panagiotis Kouvaros Alessio Lomuscio Edoardo Pirovano Hashan Punchihewa

Published in: AAMAS (2019)

Keyphrases

formal verification
open multi agent systems
electronic institutions
multi agent systems
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
software agents
cooperative
special case
formal specification
learning algorithm