Article

NEXUS: An Embodied Planning Framework Jointly Learning Safety Constraints and Action Models

NEXUS is a modular neuro-symbolic framework that jointly maintains a PDDL action domain model and an LTL safety specification: execution failures are used to repair action schemas, while detected hazards are converted into reusable LTL constraints through hierarchical semantic and translation sampling with equivalence consensus.

Part of the event: NEXUS: An Embodied Planning Framework Jointly Maintaining Action Models and Safety Constraints

This page provides a summary and source link only.