2020
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019

In silico clinical trials through AI and statistical model checking

04 Pubblicazione in atti di convegno
Alimguzhin V., Mancini T., Massini A., Sinisi S., Tronci E.
ISSN: 1613-0073

A Virtual Patient (VP) is a computational model accounting for individualised (patho-) physiology and Pharmaco-Kinetics/Dynamics of relevant drugs. Availability of VPs is among the enabling technology for In Silico Clinical Trials. Here we shortly outline the state of the art as for VP generation and summarise our recent work on Artificial Intelligence (AI) and Statistical Model Checking based generation of VPs.

global search in silico clinical trials Model checking verification virtual physiological human models

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