
Tutorial accepted at AAMAS 2026: Formal Methods for Safe Reinforcement Learning
Our tutorial for AAMAS 2026 was accepted! The tutorial covers key techniques for Safe Reinforcement Learning and is intended for a broad audience.
Group updates, announcements, and milestones from our group.

Our tutorial for AAMAS 2026 was accepted! The tutorial covers key techniques for Safe Reinforcement Learning and is intended for a broad audience.

Our lab presented two papers at the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26) in Singapore, covering the topics of enhancing Reinforcement Learning performance via variance reduction through training a behaviour policy, and synthesisi...