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
-
This only proves the existence of one solution, not the absence of dead ends, unless all actions in the game are reversible.
If all actions are reversible, then no formal methods are required. Just running the actor (as I call it) to solve the game is sufficient.
-
-
But most adventure games have irreversible actions. You can throw the Pepsi into the sink, but you can'd get tit back again.
-
("Use Pepsi with sink" was something you could do in Maniac Mansion. It would render the game unwinnable: The Pepsi is need somewhere else.)
End of conversation
New conversation -
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.