Evan Miller personal blog
Adventure Games and Eigenvalues (2017)
Do adventure games have dead ends? The author of The Teeny Tiny Mansion proves the absence of dead ends in that game via formal verification (in particular, with the help of the cbmc model-checking program ). Here I’ll demonstrate how to prove the same thing via Markov theory. The Markov approach requires more…
- Points
- 125
- HN comments
- 11
- Submissions
- 1
- Cited by
- 0 commenters
Games & GraphicsMath & Algorithms2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 18, 2019 | Adventure Games and Eigenvalues (2017) by rayvega | 125 | 11 |
