paper-with-me

홈 › Papers

ARGOS: Automated Functional Safety Requirement Synthesis for Embodied AI via Attribute-Guided Combinatorial Reasoning

2026-01-30 · Dongsheng Chen, Yuxuan Li, Yi Lin, Guanhua Chen, Jiaxin Zhang, Xiangyu Zhao, Lei Ma, Xin Yao, Xuetao Wei arxiv

Ensuring functional safety is essential for the deployment of Embodied AI in complex open-world environments. However, traditional Hazard Analysis and Risk Assessment (HARA) methods struggle to scale in this domain. While HARA relies on enumerating risks for finite and pre-defined function lists, Embodied AI operates on open-ended natural language instructions, creating a challenge of combinatorial interaction risks. Whereas Large Language Models (LLMs) have emerged as a promising solution to this scalability challenge, they often lack physical grounding, yielding semantically superficial and incoherent hazard descriptions. To overcome these limitations, we propose a new framework ARGOS (AttRibute-Guided cOmbinatorial reaSoning), which bridges the gap between open-ended user instructions and concrete physical attributes. By dynamically decomposing entities from instructions into these fine-grained properties, ARGOS grounds LLM reasoning in causal risk factors to generate physically plausible hazard scenarios. It then instantiates abstract safety standards, such as ISO 13482, into context-specific Functional Safety Requirements (FSRs) by integrating these scenarios with robot capabilities. Extensive experiments validate that ARGOS produces high-quality FSRs and outperforms baselines in identifying long-tail risks. Overall, this work paves the way for systematic and grounded functional safety requirement generation, a critical step toward the safe industrial deployment of Embodied AI.

📄 PDF Abstract BibTeX arXiv:2602.07007

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Rigorous Safety Analysis and Design of ADAS and ADS: Implications on Tools

2024-06-12 · Juan Pimentel

Currently, a major concern is the insufficient level of safety offered by commercial automated vehicles and/or services such self-driving vehicles, self-driving trucks, and robotaxis. Unfortunately, stakeholders do not a…

Fast and principled equation discovery from chaos to climate

2026-04-13 · Yuzheng Zhang, Weizhen Li, Rui Carvalho arxiv

Our ability to predict, control, and ultimately understand complex systems rests on discovering the equations that govern their dynamics. Identifying these equations directly from noisy, limited observations has therefor…

Computational EfficiencyRepresentation LearningBayesian Inference

Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards

2026-05-20 · Erfan Aghadavoodi Jolfaei, Daniel Maninger, Abhinav Anand, Mert Tiftikci 외 arxiv

Large language models show strong potential for automated code generation, but lack guarantees for correctness, quality, safety, and domain-specific constraints. For instance in robotics, where code generation is increas…

Reinforcement LearningProgram SynthesisCode Generation

CIRCUITSYNTH: Leveraging Large Language Models for Circuit Topology Synthesis

2024-06-06 · Prashanth Vijayaraghavan, Luyao Shi, Ehsan Degan, Xin Zhang

Circuit topology generation plays a crucial role in the design of electronic circuits, influencing the fundamental functionality of the circuit. In this paper, we introduce CIRCUITSYNTH, a novel approach that harnesses L…

valid

Argos: Agentic Time-Series Anomaly Detection with Autonomous Rule Generation via Large Language Models

2025-01-24 · Yile Gu, Yifan Xiong, Jonathan Mace, Yuting Jiang 외

Observability in cloud infrastructure is critical for service providers, driving the widespread adoption of anomaly detection systems for monitoring metrics. However, existing systems often struggle to simultaneously ach…

Anomaly DetectionTime SeriesTime Series Anomaly Detection