Sciweavers

1599 search results - page 140 / 320
» Algorithms for Parity Games
Sort
View
ATVA
2007
Springer
111views Hardware» more  ATVA 2007»
16 years 22 days ago
Timed Control with Observation Based and Stuttering Invariant Strategies
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
Franck Cassez, Alexandre David, Kim Guldstrand Lar...
PPPJ
2003
ACM
15 years 11 months ago
A noughts and crosses Java applet to teach programming to primary school children
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
J. Paul Gibson
SEAL
1998
Springer
15 years 10 months ago
Co-evolution, Determinism and Robustness
Abstract. Robustness has long been recognised as a critical issue for coevolutionary learning. It has been achieved in a number of cases, though usually in domains which involve so...
Alan D. Blair, Elizabeth Sklar, Pablo Funes
COCO
2008
Springer
74views Algorithms» more  COCO 2008»
15 years 8 months ago
Approximation Resistant Predicates from Pairwise Independence
We study the approximability of predicates on k variables from a domain [q], and give a new sufficient condition for such predicates to be approximation resistant under the Unique...
Per Austrin, Elchanan Mossel
ATAL
2010
Springer
15 years 7 months ago
Adversarial planning for large multi-agent simulations
We investigate planning for self-interested agents in large multi-agent simulations. We present two heuristic algorithms that exploit different domain-specific properties in order...
Viliam Lisý