Post #1488459

It's happened enough times so I'm gonna ask. Would gamedev folks appreciate a little video on formal transition systems, linear temporal logic, and model finding/checking... how it relates to game design/development, namely in an event driven paradigm... And my own guess as to why formal methods and programming languages solutions/tools for such things have not made their way into game development?