A model checking approach to discrete bifurcation analysis

DOI10.1007/978-3-319-48989-6_6zbMath1427.68159OpenAlexW2550714067MaRDI QIDQ2281628

David Šafránek, Nikola Beneš, Martin Demko, Samuel Pastva, Luboš Brim

Publication date: 3 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-48989-6_6

Mathematics Subject Classification ID

Bifurcations of singular points in dynamical systems (37G10) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Systems biology, networks (92C42)

Related Items (2)

Digital Bifurcation Analysis of Internet Congestion Control Protocols ⋮ A large-scale assessment of exact lumping of quantitative models in the biomodels repository

This page was built for publication: A model checking approach to discrete bifurcation analysis