Login / Signup

Using simulation to test formally verified protocols in complex environments.

Qiang YeMike H. MacGregor
Published in: Math. Comput. Model. (2011)
Keyphrases
  • complex environments
  • learning agents
  • autonomous agents
  • database
  • cooperative
  • test data
  • simulation model
  • simulation models
  • matlab simulation
  • decision trees
  • test cases
  • multiagent systems
  • mathematical model