Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Komplementierung von Büchi-Automaten"'
Autor:
Olschewski, Jörg
Publikováno v:
Aachen : Publikationsserver der RWTH Aachen University VI, 117 S. : graph. Darst. (2013). = Aachen, Techn. Hochsch., Diss., 2013
The theory of two-player infinite games provides a framework for studying the controller synthesis problem in reactive system. This problem was solved for regular winning conditions for the first time by the fundamental Büchi-Landweber Theorem. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______791::e116035d5befb24cb7a3cc793e71748d
https://publications.rwth-aachen.de/record/229420
https://publications.rwth-aachen.de/record/229420
