Cover Image

SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Obi, Ike, Venkatesh, Vishnunandan L. N., Wang, Weizheng, Wang, Ruiqi, Suh, Dayoon, Amosa, Temitope I., Jo, Wonse, Min, Byung-Cheol
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems
by: Obi, Ike, et al.
Published: (2026)

Modeling and Evaluating Trust Dynamics in Multi-Human Multi-Robot Task Allocation
by: Obi, Ike, et al.
Published: (2024)

Multi-Agent LLM Actor-Critic Framework for Social Robot Navigation
by: Wang, Weizheng, et al.
Published: (2025)

Unifying Large Language Model and Deep Reinforcement Learning for Human-in-Loop Interactive Socially-aware Navigation
by: Wang, Weizheng, et al.
Published: (2024)

SMART-LLM: Smart Multi-Agent Robot Task Planning using Large Language Models
by: Kannan, Shyam Sundar, et al.
Published: (2023)

Logic-Guided Socially-aware Robot Navigation World Model
by: Wang, Weizheng, et al.
Published: (2025)

Adaptive Task Allocation in Multi-Human Multi-Robot Teams under Team Heterogeneity and Dynamic Information Uncertainty
by: Yuan, Ziqin, et al.
Published: (2024)

Learning from Demonstration Framework for Multi-Robot Systems Using Interaction Keypoints and Soft Actor-Critic Methods
by: Venkatesh, Vishnunandan L. N., et al.
Published: (2024)

ZeroCAP: Zero-Shot Multi-Robot Context Aware Pattern Formation via Large Language Models
by: Venkatesh, Vishnunandan L. N., et al.
Published: (2024)

Few-Shot Demonstration-Driven Task Coordination and Trajectory Execution for Multi-Robot Systems
by: Kim, Taehyeon, et al.
Published: (2025)

PrefCLM: Enhancing Preference-based Reinforcement Learning with Crowdsourced Large Language Models
by: Wang, Ruiqi, et al.
Published: (2024)

MOCAS: A Multimodal Dataset for Objective Cognitive Workload Assessment on Simultaneous Tasks
by: Jo, Wonse, et al.
Published: (2022)

Personalization in Human-Robot Interaction through Preference-based Action Representation Learning
by: Wang, Ruiqi, et al.
Published: (2024)

REBEL: Rule-based and Experience-enhanced Learning with LLMs for Initial Task Allocation in Multi-Human Multi-Robot Teaming
by: Gupte, Arjun, et al.
Published: (2024)

Cognitive Load-based Affective Workload Allocation for Multi-human Multi-robot Teams
by: Jo, Wonse, et al.
Published: (2023)

Multi-Robot Cooperative Socially-Aware Navigation Using Multi-Agent Reinforcement Learning
by: Wang, Weizheng, et al.
Published: (2023)

Hypergraph-based Coordinated Task Allocation and Socially-aware Navigation for Multi-Robot Systems
by: Wang, Weizheng, et al.
Published: (2024)

PrefMMT: Modeling Human Preferences in Preference-based Reinforcement Learning with Multimodal Transformers
by: Zhao, Dezhong, et al.
Published: (2024)

Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
by: Verma, Pulkit, et al.
Published: (2025)

Human-Robot Cooperative Distribution Coupling for Hamiltonian-Constrained Social Navigation
by: Wang, Weizheng, et al.
Published: (2024)

Education for Library, Archive, and Information Science in Sub-Saharan Africa: A Blueprint for Regional Planning.
by: Obi, Dorothy S.
Published: (1974)

Thoughts-as-Planning: Latent World Models for Chain-of-Thoughts Optimization via Reinforcement Planning
by: Liu, Dong, et al.
Published: (2026)

Hyper-STTN: Hypergraph Augmented Spatial-Temporal Transformer Network for Trajectory Prediction
by: Wang, Weizheng, et al.
Published: (2024)

Latent Chain-of-Thought as Planning: Decoupling Reasoning from Verbalization
by: Wang, Jiecong, et al.
Published: (2026)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
by: Xu, Yuejiao, et al.
Published: (2024)

SafeChain: Safety of Language Models with Long Chain-of-Thought Reasoning Capabilities
by: Jiang, Fengqing, et al.
Published: (2025)

Research on Robot Path Planning Based on Reinforcement Learning
by: Ruiqi, Wang
Published: (2024)

SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems
by: Fan, Jialiang, et al.
Published: (2026)

Safe Planner: Empowering Safety Awareness in Large Pre-Trained Models for Robot Task Planning
by: Li, Siyuan, et al.
Published: (2024)

Mobile-Phone Based Patient Compliance System for Chronic Illness care in Nigeria
by: Amosa B.M.G.
Published: (2012)

SpatialCoT: Advancing Spatial Reasoning through Coordinate Alignment and Chain-of-Thought for Embodied Task Planning
by: Liu, Yuecheng, et al.
Published: (2025)

PrefMoE: Robust Preference Modeling with Mixture-of-Experts Reward Learning
by: Yuan, Ziqin, et al.
Published: (2026)

A Formal Comparison Between Chain of Thought and Latent Thought
by: Xu, Kevin, et al.
Published: (2025)

LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
by: Tantakoun, Marcus, et al.
Published: (2025)

Investigating the Effectiveness of a Socratic Chain-of-Thoughts Reasoning Method for Task Planning in Robotics, A Case Study
by: Bot, Veronica, et al.
Published: (2025)

A Lane Change Strategy to Enhance Traffic Safety in the Coexistence of Autonomous Vehicles and Manual Vehicles
by: Young Jo, et al.
Published: (2024)

Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression
by: Peng, Jingyu, et al.
Published: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
by: Lin, Xuan, et al.
Published: (2025)