finite state machines, machine learning, SAT.

" />

SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS

V. I. Ulyantsev, F. . Tsarev


Read the full article 

Abstract

The article deals with the method of finite state machine induction by test scenarios using SAT-solvers. Successful application of the method to the induction of alarm clock finite state machine is shown. Induction of appropriate finite state machine is consistent and algorithm operation time is less than one second of CPU time on average personal computer.


Keywords: finite state machines, machine learning, SAT.
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика