Book
Open access
Jul 2026
LLM-Based Grid-World Path Planning With Probabilistic Model Checking
A neuro-symbolic path planning framework that integrates LLM-based planners with probabilistic model checking to provide guarantees for temporal and probabilistic requirements is presented.
Asher Tempest Arya, Aren A. Babikian, Sophia S Jit et al.
· SIGSOFT FSE Companion · 0 citations