Steven Jordaan

According to our database, Steven Jordaan authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

AutomaTutor 2.0: Competitive Game-based Learning of Automata Theory.

Steven Jordaan, Nils Timm

Proceedings of the ACM Global on Computing Education Conference 2025 Vol 1, 2025

2024

Migrating teaching of automata theory to a digital platform.

Steven Jordaan, Nils Timm, Linda Marshall

S. Afr. Comput. J., 2024

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

AutomaTutor: An Educational Mobile App for Teaching Automata Theory.

Steven Jordaan, Nils Timm, Linda Marshall

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023