End-to-end statistical model checking for parametric ODE models

DOI10.1007/978-3-031-16336-4_5zbMath1522.68325OpenAlexW4295113552MaRDI QIDQ6160770

Benoît Delahaye, Guillaume Cantin, David Julien

Publication date: 2 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-16336-4_5

zbMATH Keywords

structural parametersstatistical model checkingODE models

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Numerical methods for initial value problems involving ordinary differential equations (65L05) Mathematical modeling or simulation for problems pertaining to biology (92-10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model Checking Probabilistic Systems
• A Spline Least Squares Method for Numerical Parameter Estimation in Differential Equations
• The Probabilistic Model Checking Landscape
• Parameter Estimation for Differential Equations: a Generalized Smoothing Approach
• Probability Inequalities for Sums of Bounded Random Variables
• Approximate Probabilistic Verification of Hybrid Systems
• Theoretical Aspects of Computing - ICTAC 2004
• On the Accuracy of Runge-Kutta's Method
• Numerical Methods for Ordinary Differential Equations
• Accelerated model checking of parametric Markov chains