A formal approach for reactive mode handling.
Nadia HamaniNathalie DangoumauEtienne CrayePublished in: SMC (5) (2004)
Keyphrases
- reactive systems
- formal methods
- artificial intelligence
- computer vision
- mixed mode
- formal models
- formal analysis
- formal model
- reactive planning
- neural network
- agent architecture
- knowledge management
- probabilistic model
- special case
- data model
- cooperative
- video sequences
- image segmentation
- image processing
- knowledge base
- social networks