Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey. ATLwith Strategy Contexts and Bounded Memory. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Volume 5407 of Lecture Notes in Computer Science, pages 92-106, Springer, 2009. [doi]
Abstract is missing.