Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract elided by the publisher.
Related papers
- Model Checking Gene Regulatory Networks TACAS 2015
- From Cardiac Cells to Genetic Regulatory Networks CAV 2011
- Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits CAV 2012
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics VMCAI 2019
- Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach VMCAI 2014
- Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data CAV 2015
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion TACAS 2008
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018