Login / Signup

Model checking learning agent systems using Promela with embedded C code and abstraction.

Ryan F. KirwanAlice MillerBernd Porr
Published in: Formal Aspects Comput. (2016)
Keyphrases
  • model checking
  • agent systems
  • temporal logic
  • learning algorithm
  • reinforcement learning
  • cooperative
  • multi agent systems
  • source code
  • mobile agents
  • model checker
  • bounded model checking