21 search results - page 1 / 5 » Abstract Games for Infinite State Processes |
CONCUR
1998
Springer
14 years 3 months ago
1998
Springer
FSTTCS
1994
Springer
14 years 3 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 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...
SOFSEM
1997
Springer
14 years 2 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
14 years 26 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...