Josua Botha

According to our database, Josua Botha authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems.

Nils Timm, Josua Botha, Steven Jordaan

Sci. Comput. Program., June, 2023

2022

Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation.

Nils Timm, Josua Botha

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2021

Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation.

Nils Timm, Josua Botha

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

Model checking safety and liveness via <i>k</i>-induction and witness refinement with constraint generation.

Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha

Sci. Comput. Program., 2020