Behnke, G., & Biundo, S. 2018 Sep 11. X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artificial. [Online] 21:62