Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.
Sebastián ZudaireFelipe GorostiagaCésar SánchezGerardo SchneiderSebastián UchitelPublished in: ICRA (2021)
Keyphrases
- plan execution
- monitoring system
- temporal information
- temporal constraints
- dynamic environments
- spatio temporal
- plan recognition
- path planning
- spatial and temporal
- real time
- temporal data
- formal verification
- temporal evolution
- temporal sequences
- temporal consistency
- vision based navigation
- temporal patterns
- temporal reasoning
- integrity constraints
- verification method
- face verification
- temporal relations
- plan generation
- neural network
- control algorithm
- temporal aspects
- wireless sensor networks
- temporal analysis
- temporal dimension
- mobile robot
- decision makers
- space time
- query optimization
- early warning
- planning domains
- domain independent