Login / Signup

An AUML State Machine Based Method for Multi-agent Systems Model Checking.

Dapeng ZhangXiang JiXinsheng 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