Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
No abstract available.
Related papers
- Model Checking Cell Biology CAV 2012
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Systems biology, models, and concurrency POPL 2008
- Symbolic computation of differential equivalences POPL 2016
- Synthesis of biological models from mutation experiments POPL 2013
- Symbolic Coloured SCC Decomposition TACAS 2021
- Model Checking Gene Regulatory Networks TACAS 2015
- Pareto Curves for Compositionally Model Checking String Diagrams of MDPs TACAS 2024