Vladimir I. Ulyantsev

Work place: ITMO University
Post: student
E-mail: ulyantsev@rain.ifmo.ru
Ulyantsev V. I., Tsarev F. . SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS
The article was published in issue 1(77) in 2012
Chivilikhin D. S., Ulyantsev V. I. ANT COLONY OPTIMIZATION-BASED METHOD OF FINITE-STATE MACHINE INDUCTION
The article was published in issue 6(82) in 2012
Chivilikhin D. S., Ulyantsev V. I., Vyatkin V. V., Shalyto A. A. AUTOMATA PROGRAMS CONSTRUCTION FROM SPECIFICATION WITH AN ANT COLONY OPTIMIZATION ALGORITHM BASED ON MUTATION GRAPH
The article was published in issue 6(94) in 2014
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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