Congratulations to Florian Horn, co-author of Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives, a paper awarded the “Outstanding Paper Awards” at AAAI 2025.