Model checking CSL for Markov population models

DOI10.4204/EPTCS.154.7MaRDI QIDQ7032032zbMATH OpenFDO

Authors David Spieler, Ernst Moritz Hahn, Lijun Zhang

Publication date 5 February 2025

Full work available at URL https://doi.org/10.4204/EPTCS.154.7

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of continuous-time Markov processes on discrete state spaces (60J28) Specification and verification (program logics, model checking, etc.) (68Q60) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)

Cites work

• Adaptive uniformization
• Analysing biochemical oscillation through probabilistic model checking
• Bounding Stationary Expectations of Markov Processes
• Bounding the equilibrium distribution of Markov population models.
• Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition
• Continuous-time Markov chains. An applications-oriented approach
• CSL model checking algorithms for QBDs
• HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
• scientific article; zbMATH DE number 19243 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• Model-checking continuous-time Markov chains
• On the finite horizon Bellman equation for controlled Markov jump models with unbounded characteristics: Existence and approximation
• PHoM -- a polyhedral homotopy continuation method for polynomial systems
• Sufficient conditions for regularity, recurrence and ergodicity of Markov processes
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Time-bounded model checking of infinite-state continuous-time Markov chains
• Using branching time temporal logic to synthesize synchronization skeletons

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Model checking CSL for Markov population models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7032032)