Can You Train AI to Stay Safe? Meet us at the Great Exhibition Road Festival
Meet the FMAI lab at the Great Exhibition Road Festival and try our interactive safe AI demo.
News
Group updates, announcements, and milestones from our group.
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.
Two papers presented at AAAI-26!
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...