Login / Signup
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms.
Laura R. Antuña
Dejanira Araiza-Illan
Sérgio Campos
Kerstin Eder
Published in:
CoRR (2015)
Keyphrases
</>
reinforcement learning
model checking
temporal logic
formal verification
reachability analysis
orders of magnitude
asynchronous circuits
deterministic finite automaton
model checker
temporal properties
finite state machines
finite state
formal methods