AVANZADA

2 Artículos

Buscar Revistas

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

Acceso

en línea

Gregor Behnke, Susanne Biundo Pág. 75 - 90

-

Revista: Inteligencia Artificial Formato: Electrónico

Tabla de contenido: Vol: 21 Num: 62 Par: 0 Año: 2018

« Anterior Página: 1 de 1 Siguiente »