RoVerGeNe

swMATH10954MaRDI QIDQ22906FDOQ22906

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website http://sites.bu.edu/hyness/rovergene/

Cited in

(18)

• Model Checking Liveness Properties of Genetic Regulatory Networks
• On algorithmic analysis of transcriptional regulation by LTL model checking
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics
• Model checking of biological systems
• Computing reachable sets for uncertain nonlinear monotone systems
• Parallel model checking large-scale genetic regulatory networks with DiVinE
• DiVinE
• BIOCHAM
• RAMAS
• SABRE
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• Computing reachable states for nonlinear biological models
• GNA
• 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
• Data-driven and model-based verification via Bayesian identification and reachability analysis

This page was built for software: RoVerGeNe