Work

A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic Translation

Year: 2025

Type: conference-paper

Abstract: Verification of Cyberphysical Systems (CPS) is fundamental to design and deployment of devices, and it relies on specification-based monitoring through expert engineers devised properties, subsequently expressed through several forms of formal logic (e.g., first order, propositional, temporal) depending on the needed semantics.

Source: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

DOI: 10.1145/3716550.3725163

Authors: Eshita Shukla, Quinn Thibeault, Giulia Pedrielli

Institution: Arizona State University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Universitas Brawijaya

Award: G44263499