Abstraction refinement for games with incomplete information

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 2, Issue , 2008, Pages 175-186

  Dimitrova, Rayna ^a   Finkbeiner, Bernd ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Automatic abstraction refinement; Synthesis

Indexed keywords

ABSTRACTION REFINEMENT; AUTOMATIC ABSTRACTIONS; COUNTEREXAMPLE-GUIDED ABSTRACTION REFINEMENT; FINITE-STATE ABSTRACTION; GAMES WITH INCOMPLETE INFORMATION; INCOMPLETE INFORMATION; INFINITE STATE SYSTEMS; SUFFICIENT CONDITIONS;

KNOWLEDGE BASED SYSTEMS; SOFTWARE ENGINEERING; SYNTHESIS (CHEMICAL);

ABSTRACTING;

EID: 84868228097     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. T. Ball, B. Cook, S. Das, and S. K. Rajamani. Refining approximations in software predicate abstraction. In TACAS, Volume 2988 of LNCS, pages 388-403. Springer, 2004.
2. K. Chatterjee, L. Doyen, T. A. Henzinger, and J.-F. Raskin. Algorithms for omega-regular games of incomplete information. In Proc. CSL, Volume 4207 of LNCS. 2006.
3. S. Das and D. L. Dill. Counter-example based predicate discovery in predicate abstraction. In Proc. FMCAD, pages 19-32, London, UK, 2002. Springer-Verlag.
4. L. de Alfaro and P. Roy. Solving games via three-valued abstraction refinement. In Proc. CONCUR, volume 4703, pages 74-89. Springer-Verlag, 2007.
5. M. De Wulf, L. Doyen, and J.-F. Raskin. A lattice theory for solving games of imperfect information. In Proc. HSCC, LNCS, pages 153-168. Springer-Verlag, 2006.
6. R. Dimitrova and B. Finkbeiner. Abstraction refinement for games with incomplete information. Reports of SFB/TR 14 AVACS 43, SFB/TR 14 AVACS, October 2008.
7. T. Henzinger, R. Jhala, and R. Majumdar. Counterexample-guided control. In Proc. ICALP'03, Volume 2719 of LNCS, pages 886-902. Springer-Verlag, 2003.
8. R. Jhala and K. L. McMillan. A practical and complete approach to predicate refinement. In Proc. TACAS, volume 3920, pages 459-473. Springer-Verlag, 2006.
9. J. H. Reif. The complexity of two-player games of incomplete information. J. Comput. Syst. Sci., 29(2): 274-301, 1984.
10. A. Rybalchenko and V. Sofronie-Stokkermans. Constraint solving for interpolation. In Proc. VMCAI, Volume 4349 of LNCS, pages 346-362. Springer-Verlag, 2007.