AutomaTutor: An Educational Mobile App for Teaching Automata Theory. - Steven Jordaan; Nils Timm; Linda Marshall (SBMF, 2023)

Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems. - Nils Timm; Josua Botha; Steven Jordaan (Sci. Comput. Program., 2023)