108
click to vote
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...