Login / Signup
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.
Francesco Belardinelli
Davide Grossi
Alessio Lomuscio
Published in:
IJCAI (2015)
Keyphrases
</>
open multi agent systems
electronic institutions
multi agent systems
model checking
desirable properties
database
web services
cooperative