TAGLIAFERRO, ALBERTO
TAGLIAFERRO, ALBERTO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
Harnessing LLMs for Verification-Guided Specification Repair
2024-01-01 Tagliaferro, Alberto
Towards Verifiable Multi-Agent Interaction Pattern Specification
2024-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Verification-Oriented Specification of Multi-agent Interaction Patterns
2024-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, M.
Titolo | Data di pubblicazione | Autori | File |
---|---|---|---|
Harnessing LLMs for Verification-Guided Specification Repair | 1-gen-2024 | Alberto Tagliaferro | |
Towards Verifiable Multi-Agent Interaction Pattern Specification | 1-gen-2024 | Tagliaferro, AlbertoLestingi, LiviaRossi, Matteo | |
Verification-Oriented Specification of Multi-agent Interaction Patterns | 1-gen-2024 | A. TagliaferroL. LestingiM. Rossi |