RoVerGeNe
From MaRDI portal
Software:22906
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 of Biological Systems
- Model Checking Liveness Properties of Genetic Regulatory Networks
- 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
- Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models
- Computing reachable states for nonlinear biological models
- Computing reachable sets for uncertain nonlinear monotone systems
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
This page was built for software: RoVerGeNe
