The following pages link to RoVerGeNe (Q22906):
Displaying 13 items.
- Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics (Q414482) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications (Q3523135) (← links)
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty (Q3612958) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models (Q5382446) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)
