Automatic understanding of group behavior using fuzzy temporal logic.
Joris IJsselmuidenDavid MünchAnn-Kristin GrosselfingerMichael ArensRainer StiefelhagenPublished in: J. Ambient Intell. Smart Environ. (2014)
Keyphrases
- temporal logic
- model checking
- modal logic
- verification method
- linear temporal logic
- fuzzy sets
- satisfiability problem
- concurrent systems
- transition systems
- fuzzy set theory
- model checker
- temporal knowledge
- bounded model checking
- mazurkiewicz traces
- automata theoretic
- computation tree logic
- temporal properties
- reinforcement learning