EvoPlan: Evolutionary Neuro-Symbolic Robot Planning with Spatio-Temporal Guarantees
Mines a Signal Temporal Logic constraint from demos (e.g. social-navigation comfort) by evolutionary search to shield policies, and runs an evolutionary PDDL planner where a local LLM proposes and repairs plans.通过进化搜索从示教数据中挖掘信号时序逻辑约束（如社交导航舒适度）来为策略加安全护盾，并用进化式 PDDL 规划器让本地部署的大模型提出和修复计划。
BibTeX
@misc{nukapotula2026evoplan,
title = {{EvoPlan: Evolutionary Neuro-Symbolic Robot Planning with Spatio-Temporal Guarantees}},
author = {Bhavya Sai Nukapotula and Samin Moosavi and Haoze Wang and Luke Duncan and Diya Shakkottai and Varun Murali and Srinivas Shakkottai},
year = {2026},
eprint = {2607.06724},
archivePrefix = {arXiv},
primaryClass = {cs.RO},
url = {https://arxiv.org/abs/2607.06724},
}