TY  - RPRT
TI  - SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning
AU  - Ike Obi
AU  - Vishnunandan L. N. Venkatesh
AU  - Weizheng Wang
AU  - Ruiqi Wang
AU  - Dayoon Suh
AU  - Temitope I. Amosa
AU  - Wonse Jo
AU  - Byung-Cheol Min
PY  - 2025
UR  - https://arxiv.org/abs/2503.06892
ID  - 2503.06892
ER  -