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 ]