21 search results - page 1 / 5 » Abstract Games for Infinite State Processes |
CONCUR
1998
Springer
13 years 9 months ago
1998
Springer
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 ...
SIAMCO
2008
13 years 4 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...
SOFSEM
1997
Springer
13 years 8 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...
BIRTHDAY
2008
Springer
13 years 7 months 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...