936 search results - page 35 / 188 » FSM-Hume is finite state |
78
Voted
RTSS
1994
IEEE
15 years 1 months ago
1994
IEEE
FSTTCS
1994
Springer
15 years 1 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 ...
62
Voted
IFIP
1994
Springer
15 years 1 months ago
1994
Springer
72
Voted
REX
1993
15 years 1 months ago
1993
EURODAC
1990
IEEE
15 years 1 months ago
1990
IEEE