Dée-Lukács A, Földvári A. 2025. Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems. VERDI 2025.
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…
Anna Marton, Safepay SystemsAugust 5, 2025


Recent Comments