We use a custom-built library to create all the game graphs that you see in our papers and animations that allows you to specify nodes, edges, annotations among a couple of other things. We have made the library public so people can play around with it as well.
David Avis and myself have just finished a paper on Cunningham’s Rule for solving linear programs, featuring an exponential lower bound. Have a look at the preprint here and let us know what you think.
Florian Bruse, Martin Lange and myself have just finished writing a paper on the guarded transformation for the modal mu calculus. See a preprint here.