Publikationen von Benedikt Brütsch
Alle Publikationen
[Brü13] |
Benedikt Brütsch.
Synthesizing structured reactive programs via deterministic tree
automata.
In Fabio Mogavero, Aniello Murano, and Moshe Y. Vardi, editors,
Proceedings 1st International Workshop on Strategic Reasoning, volume 112
of Electronic Proceedings in Theoretical Computer Science, pages
107-113. Open Publishing Association, 2013. [ pdf | http | Abstract ] |