Andrea Gatti
Orcid: 0009-0003-0992-4058Affiliations:
- University of Genoa, Italy
According to our database1,
Andrea Gatti
authored at least 8 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
4
5
1
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design.
Proceedings of the 25th Workshop "From Objects to Agents", 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
2023
VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation.
Robotics, April, 2023
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023
Proceedings of the Seventh Workshop on Natural Language for Artificial Intelligence (NL4AI 2023) co-located with 22th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
2022
Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022