Rayna Dimitrova, Bernd Finkbeiner. Abstraction Refinement for Games with Incomplete Information. In Ramesh Hariharan, Madhavan Mukund, V. Vinay, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India. Volume 08004 of Dagstuhl Seminar Proceedings, pages 175-186, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
Abstract is missing.