Explainable Reactive Synthesis. - Tom Baumeister; Bernd Finkbeiner; Hazem Torfah (ATVA, 2020)

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. - Tom Baumeister; Paul Eichler; Swen Jacobs; Mouhammad Sakr; Marcus Völp (FM (1), 2024)