Toward model selection by formal methods

DOI10.1016/J.ENTCS.2020.06.004MaRDI QIDQ2229136zbMATH OpenOpenAlexWikidataFDO

Authors Matej Hajnal, Samuel Pastva

Publication date 22 February 2021

Full work available at URL https://doi.org/10.1016/j.entcs.2020.06.004

zbMATH Keywords

model selectionmodel checkingparameter synthesisFFL

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Recommendations

• A general framework for large-scale model selection
• scientific article; zbMATH DE number 802828
• Model selection for dynamical systems via sparse regression and information criteria
• Model checking of biological systems
• Structure-selection techniques applied to continuous-time nonlinear models

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• An introduction to systems biology. Design principles of biological circuits.
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

Cited in

(1)

• A general framework for large-scale model selection

Describes a project that uses

Uses Software

• NuSMV
• CoLoMoTo

This page was built for publication: Toward model selection by formal methods

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