For my slides I use BeamerikZ made by Misio.

- Branching VASS in dimension one: slides.
- Timed automata and branching VASS: slides.
- Cost-register automata: slides.
- Datalog: slides.