We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
Children with autism have shown substantial benefit
ult to from rigorous exercise, however, it is often diffic
ually motivate these children to exercise due to their us
sedent...
Samantha L. Finkelstein, Andrea Nickel, Tiffany Ba...
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
This paper presents a mobile system that supports young students learning history at an archaeological site. It adopts gameplay as a novel and effective technique particularly suit...
Carmelo Ardito, Paolo Buono, Maria Francesca Costa...
RoboCup is an international robot soccer competition that has been running since 1997. A frequent criticism of any such competition is that all of a team’s development is narrowl...