Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.
Felipe GorostiagaSebastián ZudaireCésar SánchezGerardo SchneiderSebastián UchitelPublished in: ISoLA (1) (2022)
Keyphrases
- real time
- constraint reasoning
- temporal information
- data streams
- plan execution
- spatio temporal
- decision support
- temporal constraints
- planning problems
- model checking
- monitoring system
- temporal reasoning
- spatial and temporal
- temporal relations
- planning process
- stochastic domains
- temporal planning
- temporal analysis
- temporal dimension
- formal verification
- temporal evolution
- ai planning
- temporal databases
- streaming data
- planning systems
- goal oriented
- decision theoretic