21 search results - page 1 / 5 » Abstract Games for Infinite State Processes |
82
Voted
CONCUR
1998
Springer
15 years 2 months ago
1998
Springer
FSTTCS
1994
Springer
15 years 2 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 ...
92
Voted
SIAMCO
2008
14 years 10 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
78
Voted
SOFSEM
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
103
Voted
BIRTHDAY
2008
Springer
15 years 5 days ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...