Abstraction refinement for games with incomplete information

Dimitrova, R. and Finkbeiner, B. (2008) Abstraction refinement for games with incomplete information. In: Hariharan, R., Mukund, M. and Vinay, V., (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 09-11 Dec 2008, Bangalore, India. Leibniz International Proceedings in Informatics (LIPIcs), 2 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 175-186. ISBN 9783939897088

Abstract

Metadata

Authors/Creators:
  • Dimitrova, R.
  • Finkbeiner, B.
Copyright, Publisher and Additional Information: © 2008 The Authors. This work is licensed under the Creative Commons Attribution-NonCommercial-No Derivative Works 3.0 License.
Keywords: Automatic abstraction refinement; synthesis
Dates:
  • Published: 9 December 2008
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2020 14:16
Last Modified: 08 Feb 2020 18:48
Published Version: https://drops.dagstuhl.de/opus/volltexte/2008/1751...
Status: Published
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Refereed: Yes
Identification Number: https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1751

Download

Filename: fsttcs08.pdf

Licence: CC-BY-NC-ND 3.0

Export

Statistics