Pubblicazioni

Automated Verification of Silq Quantum Programs using SMT Solvers

2024 - Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software
Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh

In silico clinical trials through AI and statistical model checking

2020 - Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019
Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.

A language-based approach to modelling and analysis of Twitter interactions

2017 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma