Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis.
Zhe XuA. Agung JuliusPublished in: IEEE Trans Autom. Sci. Eng. (2018)
Keyphrases
- temporal logic
- behavior analysis
- model checking
- multi agent
- modal logic
- satisfiability problem
- anomaly detection
- surveillance system
- verification method
- linear temporal logic
- belief revision
- inference process
- concurrent systems
- mazurkiewicz traces
- temporal knowledge
- bayesian networks
- reactive systems
- automata theoretic
- dynamic constraints
- computation tree logic
- multi agent systems