The paper “Let's Talk This Out: Towards Explanation-based Distributed Goal Satisfaction” by Anton Reinecke and Sibylle Schupp has been accepted for the Eighth International Workshop on Formal Methods for Autonomous Systems (FMAS 2026) taking place in Southampton from 17th to 18th November 2026.
