Behrad Rabiei

1. LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning
   2025/03/10 by Behrad Rabiei, Rabiei, Behrad, Mahesh Kumar A. R. +8 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques #Robotics (cs.RO)
2. NavVerse: Benchmarking Indoor-to-Outdoor Embodied Navigation in Continuous Robot Simulation
   2026/07/22 by Junzhe Wu, Yue Hu, Zeyu Han +4
   #cs.RO #cs.CV