RoVerGeNe

swMATH10954MaRDI QIDQ22906FDOQ22906

Author name not available (Why is that?)

Cited In (13)

• 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
• 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