Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis.
Ruixuan YanZhe XuAgung JuliusPublished in: IEEE Robotics Autom. Lett. (2019)
Keyphrases
- temporal logic
- behavior analysis
- model checking
- swarm intelligence
- particle swarm optimization
- modal logic
- concurrent systems
- social insects
- transition systems
- satisfiability problem
- verification method
- anomaly detection
- search space
- linear temporal logic
- surveillance system
- reactive systems
- belief revision
- bounded model checking
- knowledge base
- mazurkiewicz traces
- dynamic constraints
- computation tree logic
- formal specification language