Monitoring of Real-Time Properties.
Andreas BauerMartin LeuckerChristian SchallhartPublished in: FSTTCS (2006)
Keyphrases
- real time
- monitoring system
- low cost
- activity monitoring
- situational awareness
- desirable properties
- control system
- multi agent
- high speed
- real time systems
- video sequences
- multi agent systems
- mobile robot
- decision support
- knowledge base
- structural properties
- genetic algorithm
- machine learning
- continuous monitoring
- real world