#lógica temporal lineal

Planificación de misiones con verificación formal usando LLMs en agricultura de precisión

Descubre cómo la verificación formal con LLMs y LTL mejora la planificación de misiones en agricultura de precisión, reduciendo ambigüedades del lenguaje