3 search results - page 1 / 1 » Synthesis of Finite-state and Definable Winning Strategies |
FSTTCS
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
FSTTCS
2009
Springer
13 years 8 months ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
DFT
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...