Model checking safety and liveness via k-induction and witness refinement with constraint generation. - Nils Timm; Stefan Gruner; Madoda Nxumalo; Josua Botha (Sci. Comput. Program., 2020)

Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. - Nils Timm; Josua Botha (SBMF, 2021)

Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation. - Nils Timm; Josua Botha (FROM, 2022)

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