Tom Baumeister

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Program Synthesis

Top Venues

Publications

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. CoRR (2024)
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Explainable Reactive Synthesis. CoRR (2020)
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Explainable Reactive Synthesis. ATVA (2020)