Formal Analysis of Hybrid Systems Using Parametric Statistical Model Checking
- 11 October 2026
- book chapter
- Published by Springer Nature
- p. 140-154
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains2025
- End-to-End Statistical Model Checking for Parametric ODE Models2022
- Statistical Model Checking-Based Analysis of Biological Networks2019
- Parametric Statistical Model Checking of UAV Flight Plan2019
- A Versatile Hybrid Agent-Based, Particle and Partial Differential Equations Method to Analyze Vascular Adaptation2018
- Abstract Parabolic Evolution Equations and their Applications2010
- Verification and Control of Hybrid Systems2009
- Symbolic and Parametric Model Checking of Discrete-Time Markov Chains2005
- Approximate Probabilistic Model Checking2004
- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid ModelLecture Notes in Computer Science, 2001