Conference:
3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), co-located with the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23. June 2025, Naples, Italy
Authors:
Dée-Lukács A, Földvári A.
Abstract:
The rapid advancement of large language models (LLMs) creates new opportunities in cyber-physical systems, particularly in natural language interaction and decision support. However, the safety-critical nature of these systems requires LLMs to operate in a deterministic, verifiable, and reliable way. The proposed solution in the paper combines the flexibility of LLMs with the deterministic capabilities of formal approaches based on symbolic logic reasoning. The LLMs’ structured outputs generated are processed by a logic reasoning engine capable of handling contradictions, priorities, and fault-tolerance patterns. This validation process enables formally valid and auditable LLM-based decisions, even when different models produce conflicting outputs. The proposed approach is illustrated through case studies that demonstrate practical examples of symbolic evaluation.
