X and more Parallelism Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism

Erstveröffentlichung
2018
Authors
Behnke, Gregor
Biundo, Susanne
Wissenschaftlicher Artikel


Published in
Inteligencia Artificial ; 21 (2018), 62. - S. 75-90. - ISSN 1137-3601. - eISSN 1988-3064
Link to publication
https://dx.doi.org/10.4114/intartif.vol21iss62pp75-90
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Künstliche Intelligenz
Subject headings
[Free subject headings]: Temporally Extended Goals | Planning as SAT | Linear Temporal Logic
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record