Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
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
Preliminary Study of DSL Code Generation for Robotics with LLMs
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, Matteo Giovanni
Leveraging LLMs to Automate Software Architecture Design from Informal Specifications
2025-01-01 Tagliaferro, Alberto; Corbo, Simone; Guindani, Bruno
Verification-Oriented Specification of Multi-agent Interaction Patterns
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, M.
Preliminary Study of DSL Code Generation for Robotics with LLMs
2026-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile