www.prismmodelchecker.org
[Bel57] R. Bellman. Dynamic Programming. Princeton University Press. 1957. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications