Fluid approximation-based analysis for mode-switching population dynamics
From MaRDI portal
Recommendations
- Checking individual agent behaviours in Markov population models by fluid approximation
- Fluid analysis of spatio-temporal properties of agents in a population model
- Model checking single agent behaviours by fluid approximation
- Fluid model checking
- Fluid approximation of Petri net models with relatively small populations
This page was built for publication: Fluid approximation-based analysis for mode-switching population dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584555)