Login / Signup

X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.

Gregor BehnkeSusanne Biundo
Published in: Inteligencia Artif. (2018)
Keyphrases