ATVA
2010
Springer
13 years 1 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...