Login / Signup
Timotheus Hell
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 1
Top Topics
Controller Synthesis
Reactive Agents
Wide Range
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>
Swen Jacobs
,
Roderick Bloem
,
Romain Brenguier
,
Rüdiger Ehlers
,
Timotheus Hell
,
Robert Könighofer
,
Guillermo A. Pérez
,
Jean-François Raskin
,
Leonid Ryzhyk
,
Ocan Sankur
,
Martina Seidl
,
Leander Tentrup
,
Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014).
Int. J. Softw. Tools Technol. Transf.
19 (3) (2017)
Swen Jacobs
,
Roderick Bloem
,
Romain Brenguier
,
Rüdiger Ehlers
,
Timotheus Hell
,
Robert Könighofer
,
Guillermo A. Pérez
,
Jean-François Raskin
,
Leonid Ryzhyk
,
Ocan Sankur
,
Martina Seidl
,
Leander Tentrup
,
Adam Walker
The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR
(2015)