Statistical model checking for rule-based models in the Kappa language

DOI10.1007/978-3-032-30870-2_5MaRDI QIDQ7411997zbMATH OpenFDO

Authors Albin Salazar, Jerome Feret, Tatjana Petrov

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-30870-2_5

zbMATH Keywords

formal methodsrule-based modellingstatistical model checkingstochastic systems

Mathematics Subject Classification ID

Applications of statistics to biology and medical sciences; meta analysis (62P10) Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42)

Cites work

• A trace query language for rule-based models
• Counters in Kappa: semantics, simulation, and static analysis
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Incremental update for graph rewriting
• Long lived transients in gene regulation
• Lumpability abstractions of rule-based systems
• Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
• Semantics and efficient simulation algorithms of an expressive multilevel modeling language

This page was built for publication: Statistical model checking for rule-based models in the Kappa language

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