RoVerGeNe
From MaRDI portal
Cited in
(18)- DiVinE
- BIOCHAM
- On algorithmic analysis of transcriptional regulation by LTL model checking
- RAMAS
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- SABRE
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics
- GNA
- Model checking of biological systems
- Computing reachable states for nonlinear biological models
- Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Model Checking Liveness Properties of Genetic Regulatory Networks
- Computing reachable sets for uncertain nonlinear monotone systems
This page was built for software: RoVerGeNe
