Comparing approaches for model-checking strategies under imperfect information and fairness constraints

Abstract

2018) Comparing approaches for model-checking strategies under imperfect information and fairness constraints.