Constraint Satisfaction Propagation: Non-stationary Policy Synthesis for Temporal Logic Planning.
Thomas J. RingstromPaul R. SchraterPublished in: CoRR (2019)
Keyphrases
- constraint satisfaction
- temporal logic
- temporally extended goals
- heuristic search
- model checking
- constraint satisfaction problems
- finite state
- modal logic
- state space
- satisfiability problem
- constraint programming
- linear temporal logic
- planning problems
- constraint propagation
- temporally extended
- constraint relaxation
- phase transition
- initial state
- planning domains
- belief revision
- search space
- ai planning
- average cost
- markov decision process
- verification method
- russian doll search
- partially observable
- search strategies
- classical planning
- markov decision processes
- domain independent
- orders of magnitude
- search algorithm