Elektrine lite

← Feed

Dot (she/her) 🏳️‍⚧️

the_dot_matrix@mastodon.gamedev.place

<p>Maker of things, they&#39;re okay sometimes</p>

Posts

  • Post #1488459

    It&amp;#39;s happened enough times so I&amp;#39;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?