View in EDS HTML Full Text PDF Full Text

SymbolicAnalysis and LLM-Guided Debugging of Digital Twin Models with ASP Chef and DTDL †.

Saved in:
Bibliographic Details
Title: SymbolicAnalysis and LLM-Guided Debugging of Digital Twin Models with ASP Chef and DTDL †.
Authors: Alviano, Mario1 (AUTHOR), Guarasci, Paola1 (AUTHOR) paola.guarasci@unical.it
Source: Information. May2026, Vol. 17 Issue 5, p506. 36p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:20782489
DOI:10.3390/info17050506