Login / Signup
Hans-Jürgen Gamauf
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Computationally Efficient
Database
Real Time
Artificial Intelligence
Top Venues
SYNT
</>
Publications
</>
Roderick Bloem
,
Hans-Jürgen Gamauf
,
Georg Hofferek
,
Bettina Könighofer
,
Robert Könighofer
Synthesizing Robust Systems with RATSY
SYNT
(2012)