Login / Signup
Model checking learning agent systems using Promela with embedded C code and abstraction.
Ryan F. Kirwan
Alice Miller
Bernd 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