X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.
Gregor BehnkeSusanne BiundoPublished in: Inteligencia Artif. (2018)
Keyphrases
- parallel processing
- planning problems
- ai planning
- bounded model checking
- classical planning
- constraint solver
- shared memory
- sat encodings
- computational power
- parallel execution
- constraint satisfaction
- planning domains
- massively parallel
- model checking
- temporal planning
- constraint networks
- initial state
- formal verification
- mutual exclusion