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.

End-to-End Statistical Model Checking for Parametric ODE Models

David Julien, Guillaume Cantin, Benoît Delahaye. End-to-End Statistical Model Checking for Parametric ODE Models. In Erika Ábrahám, Marco Paolieri, editors, Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings. Volume 13479 of Lecture Notes in Computer Science, pages 85-106, Springer, 2022. [doi]

Authors

David Julien

This author has not been identified. Look up 'David Julien' in Google

Guillaume Cantin

This author has not been identified. Look up 'Guillaume Cantin' in Google

Benoît Delahaye

This author has not been identified. Look up 'Benoît Delahaye' in Google
runs on