External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

In Silico Clinical Trials through AI and Statistical Model Checking

Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci. In Silico Clinical Trials through AI and Statistical Model Checking. In Nicola Gigante, Federico Mari, Andrea Orlandini, editors, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. Volume 2509 of CEUR Workshop Proceedings, pages 17-22, CEUR-WS.org, 2019. [doi]

Authors

Vadim Alimguzhin

This author has not been identified. Look up 'Vadim Alimguzhin' in Google

Toni Mancini

This author has not been identified. Look up 'Toni Mancini' in Google

Annalisa Massini

This author has not been identified. Look up 'Annalisa Massini' in Google

Stefano Sinisi

This author has not been identified. Look up 'Stefano Sinisi' in Google

Enrico Tronci

This author has not been identified. Look up 'Enrico Tronci' in Google
runs on