Abstraction Refinement for Games with Incomplete Information.

DOI10.4230/LIPIcs.FSTTCS.2008.1751zbMath1248.68327OpenAlexW1588107453MaRDI QIDQ3165957

Bernd Finkbeiner, Rayna Dimitrova

Publication date: 19 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b193.html

zbMATH Keywords

synthesisgames with incomplete informationautomatic abstraction refinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Lazy Synthesis ⋮ An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Partial-Observation Stochastic Games

This page was built for publication: Abstraction Refinement for Games with Incomplete Information.