X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism
Linear temporal logic (LTL) provides expressive means to specify temporally extended goals as well as preferences. Recent research has focussed on compilation techniques, i.e., methods to alter the domain ensuring that every solution adheres to the temporally extended goals. This requires either new...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Sprog: | English |
| Udgivet: |
Asociación Española para la Inteligencia Artificial
2018-09-01
|
| Serier: | Inteligencia Artificial |
| Fag: | |
| Online adgang: | https://journal.iberamia.org/index.php/intartif/article/view/226 |