A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The use of finite-state machines (FSMs) is a reliable choice for control system design since they can be formally verified. In this paper a problem of constructing FSMs with real-valued input and control parameters is considered. It is supposed that a set of human-created behavior examples, or tests, is available. One of the earlier approaches for solving the problem suggested using genetic algorithms together with a transition labeling algorithm. This paper improves this approach via the usedoi:10.1145/2598394.2605679 dblp:conf/gecco/BuzhinskyCUT14 fatcat:tdq7ywb4jrc4hpmm76amdyckii