Sciweavers

2 search results - page 1 / 1
» Symbolic Classification of General Two-Player Games
Sort
View
77
Voted
KI
2008
Springer
14 years 10 months ago
Symbolic Classification of General Two-Player Games
Abstract. In this paper we present a new symbolic algorithm for the classification, i. e. the calculation of the rewards for both players in case of optimal play, of two-player gam...
Stefan Edelkamp, Peter Kissmann
IJFCS
2008
158views more  IJFCS 2008»
14 years 10 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth