Josua Botha

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Equilibrium Strategies

Deterministic Finite Automaton

Top Venues

Sci. Comput. Program.

Publications

Nils Timm, Josua Botha, Steven Jordaan
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems. Sci. Comput. Program. 228 (2023)
Nils Timm, Josua Botha
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation. FROM (2022)
Nils Timm, Josua Botha
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. SBMF (2021)
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha
-induction and witness refinement with constraint generation. Sci. Comput. Program. 200 (2020)