Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Julien Cristau"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 25, Iss Proc. GANDALF 2010, Pp 30-39 (2010)
Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represents a hostile environment. The evolution of the system depends on the d
Externí odkaz:
https://doaj.org/article/c37fabdbd13847e6a5fba328a2cc85d4
Publikováno v:
GANDALF
Electronic Proceedings in Theoretical Computer Science, Vol 25, Iss Proc. GANDALF 2010, Pp 30-39 (2010)
Electronic Proceedings in Theoretical Computer Science, Vol 25, Iss Proc. GANDALF 2010, Pp 30-39 (2010)
Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represents a hostile environment. The evolution of the system depends on the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd13fca367ede24f21e3b04f0d330467
Autor:
Florian Horn, Julien Cristau
Publikováno v:
SOFSEM 2008: Theory and Practice of Computer Science ISBN: 9783540775652
SOFSEM
SOFSEM
Games are a classical model in the synthesis of controllers in the open setting. In particular, games of infinite length can represent systems which are not expected to reach a correct state, but rather to handle a continuous stream of events. Yet, e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::134d1ec0b98f01ae2280639c7d65fceb
https://doi.org/10.1007/978-3-540-77566-9_18
https://doi.org/10.1007/978-3-540-77566-9_18
Publikováno v:
Fundamentals of Computation Theory ISBN: 9783540281931
FCT
FCT
We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is possible to minimize the number of states efficiently and to obtain a unique canonica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::422331a3e6b579213079e4a005b05018
https://doi.org/10.1007/11537311_7
https://doi.org/10.1007/11537311_7