Cybernetics And Systems Analysis logo
Editorial Board Announcements Abstracts Authors Contents
Cybernetics And Systems Analysis
International Theoretical Science Journal
UDC 519.713.1
A.N. Chebotarev

USING THE COMPATIBILITY ANALYSIS OF AUTOMATA LOGICAL SPECIFICATION TO SOLVE GAME PROBLEMS

Abstract. Game models have been widely used to solve realizability, synthesis, and verification problems. In this paper, we consider an alternative approach to solving these problems based on the notion of compatibility of automata (FSMs) or their logical specifications. The corresponding methods substantially differ from those used in the game setting. We show how these methods can be used for the synthesis of a winning strategy in a two-player game, which does not relate to the development of reactive systems.

Keywords: specification language L, making automata compatible, synthesis of an automaton, game model, winning strategy.



FULL TEXT

Чеботарев Анатолий Николаевич, доктор техн. наук, ведущий научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: ancheb@gmail.com.

© 2017 Kibernetika.org. All rights reserved.