Using the compatibility analysis of logical specifications of automata to solve game problems

From MaRDI portal