1503 search results - page 140 / 301 » Generalized Parity Games |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
ACMACE
2005
ACM
13 years 11 months ago
2005
ACM
We present an intelligent storyboarding tool that takes as an stract annotated action specification to generate camera actions and geometric constraints for executing as a dynamic...
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. We analyze the relations of the van den Elzen-Talman algorithm, the Lemke-Howson algorithm and the global Newton method introduced by Govindan and Wilson. It is known tha...
SIAMCOMP
2008
13 years 9 months ago
2008
We consider a game-theoretical variant of the Steiner forest problem in which each player j, out of a set of k players, strives to connect his terminal pair (sj, tj) of vertices in...
SODA
2010
ACM
14 years 7 months ago
2010
ACM
Searching for a point in the plane is a well-known search game problem introduced in the early eigthies. The best known search strategy is given by a spiral and achieves a competi...