Login / Signup
An AUML State Machine Based Method for Multi-agent Systems Model Checking.
Dapeng Zhang
Xiang Ji
Xinsheng Wang
Published in:
Intelligent Information Processing (2014)
Keyphrases
</>
model checking
multi agent systems
verification method
temporal logic
state machine
dynamic programming
finite state machines
computational complexity
formal verification