Menu
Publications
Editor-in-Chief
Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Vladimir I. Ulyantsev
Work place: ITMO University
Post: student
E-mail: ulyantsev@rain.ifmo.ru
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, volume 12, 2012
The article was published in issue №1, volume 12, 2012
Chivilikhin D. S., Ulyantsev V. I. ANT COLONY OPTIMIZATION-BASED METHOD OF FINITE-STATE MACHINE INDUCTION
The article was published in issue №6, volume 12, 2012
The article was published in issue №6, volume 12, 2012
Ulyantsev V. I., Panchenko E. . QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES
The article was published in issue №4, volume 13, 2013
The article was published in issue №4, volume 13, 2013
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, volume 14, 2014
The article was published in issue №6, volume 14, 2014