In one of the Phantasy Star games, it is possible to bypass a scripted event. When you go talk to the king of your town (mandatory), he >>
Seriously guys, we need adventure game engines that can interface with formal verification flows. Should not be too hard to do.pic.twitter.com/fTHZSDLKuw
-
-
-
says "Hey you [bypassed the event using an item]! Normally a wise decision, but now the game can't be completed. Please reset."
- Show replies
New conversation -
-
-
Formal verification reports that you will likely be eaten by a grue.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Hey past me! I implemented a working proof of concept:https://twitter.com/oe1cxw/status/853322356504367104 …
-
Another approach: Set up the game in "solved" state, and then run backwards, taking legal random moves, then presentsit as a puzzle. This >>
- Show replies
New conversation -
-
-
My last experience with formal verification: ...Inconclusive. - lol
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.