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]
@inproceedings{DimitrovaF08,
title = {Abstraction Refinement for Games with Incomplete Information},
author = {Rayna Dimitrova and Bernd Finkbeiner},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1751},
tags = {refinement, abstraction},
researchr = {https://researchr.org/publication/DimitrovaF08},
cites = {0},
citedby = {0},
pages = {175-186},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India},
editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay},
volume = {08004},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}