Content deleted Content added
Gareth Jones (talk | contribs) →Implementation: new section |
Gareth Jones (talk | contribs) →Implementation: + state spaces larger than 10^7 analysed using this method |
||
Line 19:
==Implementation==
[[Pseudocode]] for the algorithm is included in Appendix A of Reibman and Trivedi's 1988 paper.<ref>{{cite doi|10.1016/0305-0548(88)90026-3}}</ref> Using a [[parallel algorithm|parallel]] version of the algorithm, chains with state spaces of larger than 10<sup>7</sup> have been analysed.<ref>{{cite doi|10.1016/j.jpdc.2004.03.017}}</ref>
==Notes==
| |||