swMATH10954MaRDI QIDQ22906FDOQ22906
Author name not available (Why is that?)
Official website: http://sites.bu.edu/hyness/rovergene/
Cited In (17)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Model Checking Liveness Properties of Genetic Regulatory Networks
- Model checking of biological systems
- Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- BIOCHAM
- RAMAS
- SABRE
- GNA
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Computing reachable states for nonlinear biological models
- Computing reachable sets for uncertain nonlinear monotone systems
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models
This page was built for software: RoVerGeNe
