Recommendations
- Modular verification of interactive systems with an application to biology
- Modular verification of interactive systems with an application to biology
- Stability of genetic networks with hybrid regulatory mechanism
- Symbolic Proof of Bistability in Reaction Networks
- Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
Cites work
- Bounded model checking using satisfiability solving
- Decompositional Construction of Lyapunov Functions for Hybrid Systems
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- scientific article; zbMATH DE number 1903365 (Why is no real title available?)
- scientific article; zbMATH DE number 1903370 (Why is no real title available?)
- Modeling and querying biomolecular interaction networks
- Proving stabilization of biological systems
- Proving that programs eventually do something good
Cited in
(6)- An STL-based formulation of resilience in cyber-physical systems
- Deadness and how to disprove liveness in hybrid dynamical systems
- Bringing LTL model checking to biologists
- Proving stabilization of biological systems
- scientific article; zbMATH DE number 4198505 (Why is no real title available?)
- Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
This page was built for publication: Proving stabilization of biological systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075477)
