Research Article
A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
Table 2
Experiments of advanced method of INFAMY.
| Time bound | Advanced | Depth | Time (s) | | Prob |
| 5.0 | 18 | 6.6 | 4071 | [, ] | 10.0 | 25 | 23.3 | 7118 | [, ] | 20.0 | 38 | 105.2 | 14434 | [, ] | 30.0 | 50 | 271.6 | 22426 | [, | 50.0 | 69 | 1491.5 | 38448 | [, ] |
|
|