Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886)
From MaRDI portal
scientific article; zbMATH DE number 6182492
Language | Label | Description | Also known as |
---|---|---|---|
English | Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation |
scientific article; zbMATH DE number 6182492 |
Statements
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (English)
0 references
28 June 2013
0 references
stochastic model checking
0 references
fluid approximation
0 references
mean field approximation
0 references
reachability probability
0 references
time-inhomogeneous continuous-time Markov chains
0 references
0 references
0 references