Delete-Free Reachability Analysis for Temporal and Hierarchical Planning.
Arthur Bit-MonnotDavid E. SmithMinh DoPublished in: ECAI (2016)
Keyphrases
- reachability analysis
- model checking
- markov decision processes
- timed automata
- spatio temporal
- incremental algorithms
- temporal information
- state space
- temporal databases
- temporal constraints
- video sequences
- temporal data
- temporal evolution
- temporal reasoning
- temporal relations
- dynamical systems
- decision makers
- search algorithm