Publications of Benedikt Brütsch
All Publications
[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 ] |