FMAI at EUMAS 2026: tutorial and paper accepted
Our Formal Methods for Safe Reinforcement Learning tutorial and a paper on contract-based compositional shielding are part of EUMAS 2026 in Malmö, Sweden.
News
Group updates, announcements, and milestones from our group.
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.
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...