Projects
Member of the Unit at the Università degli Studi di Udine of the GNCS project on Certification, monitoring, and interpretability of artificial intelligence systems - GNCS 2024
Member of the Unit at the Università degli Studi di Udine of the GNCS project on Symbolic and numerical analysis of cyber-physical systems - GNCS 2023
Member of the Collaborative Research Project Università degli Studi di Udine / CNR Roma (DM 737) on A framework to synthesize controllers in safety-critical scenarios - UniUd / CNR 2022/2024
Member of the Unit at the Università degli Studi di Udine of the project on Towards a uniform modeling framework for fingerprint-based positioning - DMIF / u-blox 2022/2023
Member of the Unit at the Università degli Studi di Udine of the GNCS project on Natural language processing and temporal logic for text formalization - GNCS 2022
Member of the Unit at the Università degli Studi di Udine of the project on Models, algorithms, and tools for indoor positioning - DMIF / u-blox 2018/22
Member of the Unit at the Università degli Studi di Udine of the project on Fingerprints and spatial knowledge in indoor positioning - DMIF / u-blox 2021/2022
Member of the Unit at the Università degli Studi di Udine of the GNCS project on Strategic reasoning and automatic synthesis for multi-agent systems - GNCS 2020