08.10.26 | RWTH Aachen Artificial Intelligence Colloquium (AIC): What Formal Methods Can Teach Reinforcement Learning

Date: Thursday, 8 October 2026, 4–6pm

Location: RWTH Aachen University, Aachen

The RWTH Aachen Artificial Intelligence Colloquium (AIC) welcomes Prof. Daniel Neider (TU Dortmund University) for a talk on “What Formal Methods Can Teach Reinforcement Learning: Lessons from Reward Machines.” The talk will explore what reinforcement learning can gain from formal methods, focusing on reward machines as a structured approach to specifying and reasoning about complex objectives. It will highlight connections between formal reasoning and machine learning and examine how these techniques can contribute to more effective and interpretable reinforcement learning systems.

For more information visit: RWTH Aachen AI Center