Toward model selection by formal methods

DOI10.1016/J.ENTCS.2020.06.004zbMATH Open1458.92035OpenAlexW2940027948WikidataQ113317326 ScholiaQ113317326MaRDI QIDQ2229136FDOQ2229136

Samuel Pastva, Matej Hajnal

Publication date: 22 February 2021

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

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

zbMATH Keywords

model selectionmodel checkingparameter synthesisFFL

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• An introduction to systems biology. Design principles of biological circuits.
• Title not available (Why is that?)
• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

Cited In (1)

• A general framework for large-scale model selection

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)