Risultati ricerca pubblicazioni

An application of parallel satisfiability solving to the verification of complex embedded systems

pubblicato su: Handbook of parallel constraint reasoning - 2018
Ferrante Orlando, Ferrari Alberto, Sofronis Christos, Mangeruca Leonardo, Benvenuti Luca

In silico clinical trials through AI and statistical model checking

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

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