Sign in
Tom Baumeister
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Metadata
Multiresolution
Reactive Planning
Program Synthesis
Top Venues
CoRR
ATVA
</>
Publications
</>
Tom Baumeister
,
Bernd Finkbeiner
,
Hazem Torfah
Explainable Reactive Synthesis.
CoRR
(2020)
Tom Baumeister
,
Bernd Finkbeiner
,
Hazem Torfah
Explainable Reactive Synthesis.
ATVA
(2020)