Sciweavers

2 search results - page 1 / 1
» Symbolic Classification of General Two-Player Games
Sort
View
KI
2008
Springer
13 years 4 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»
13 years 4 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