Solving Games Via Three-Valued Abstraction Refinement

Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information and Computation Received Date: 19 April 2008 Revised Date: 28 April 2009 Accepted Date: 19 May 2009 ite this article as: L. de Alfaro, P. Roy, Solving Games via Three-Valued Abstraction Refinement, Information and Computation (2010), doi: 10.1016/j.ic.2009.05.007 This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain. 

• Type: Conference
• Year: 2007
• Where: CONCUR
• Authors: Luca de Alfaro, Pritam Roy
• Keywords: Abstraction Refinement Luca, Computation Received Date, CONCUR 2007, Three-Valued Abstraction Refinement