REVIEW 1 cited by
LLM-Enhanced Symbolic Control for Safety-Critical Applications
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Motivated by Smart Manufacturing and Industry 4.0, we introduce a framework for synthesizing Abstraction-Based Controller Design (ABCD) for reach-avoid problems from Natural Language (NL) specifications using Large Language Models (LLMs). A Code Agent interprets an NL description of the control problem and translates it into a formal language interpretable by state-of-the-art symbolic control software, while a Checker Agent verifies the correctness of the generated code and enhances safety by identifying specification mismatches. Evaluations show that the system handles linguistic variability and improves robustness over direct planning with LLMs. The proposed approach lowers the barrier to formal control synthesis by enabling intuitive, NL-based task definition while maintaining safety guarantees through automated validation.
Forward citations
Cited by 1 Pith paper
-
Model-Driven Requirements Configuration with Three-Valued Uncertainty Scoring
An LLM-plus-symbolic-validator loop cuts structural requirement errors to 0.39% under a small model (0% under a frontier model) and quantifies ~25% of LLM choices as valid but indeterminate.
Discussion (0). Continue with ORCID to comment.