Abstraction Refinement for Games with Incomplete Information.
From MaRDI portal
Publication:3165957
DOI10.4230/LIPIcs.FSTTCS.2008.1751zbMath1248.68327MaRDI QIDQ3165957
Bernd Finkbeiner, Rayna Dimitrova
Publication date: 19 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b193.html
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Partial-Observation Stochastic Games, An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information, BOCoSy: Small but Powerful Symbolic Output-Feedback Control, Lazy Synthesis