Login / Signup
Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking.
Songzheng Song
Jianye Hao
Yang Liu
Jun Sun
Ho-fung Leung
Jie Zhang
Published in:
IEEE Trans. Hum. Mach. Syst. (2016)
Keyphrases
</>
model checking
multiagent systems
temporal logic
autonomous agents
multi agent
coalition formation
formal verification
multi agent systems
model checker
automated verification
formal specification
finite state
knowledge representation
software agents