Keyphrases
- temporal properties
- model checking
- human activities
- external events
- temporal ordering
- possibility theory
- formal methods
- event detection
- temporal logic
- decision theoretic
- temporal structure
- dynamic environments
- action sequences
- activity recognition
- pattern recognition
- temporal relations
- bayesian networks
- state transitions
- situation calculus