Article APPLICATION OF GENETIC PROGRAMMING FOR GENERATION OF AUTOMATA HAVING A LOT OF INPUT VARIABLE N. Polikarpova, N. Tochilin, Shalyto Anatoly Abramovich
Article CONSTRUCTION OF A CONTROL SYSTEM FOR A HELICOPTER MODEL USING GENETIC ALGORITHMS Pavel Lobanov, Sergey Sytnik, Shalyto Anatoly Abramovich
Article CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS Yury Bedny, Shalyto Anatoly Abramovich
Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER Лукин М. А., Shalyto Anatoly Abramovich
Article DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS Kirill Egorov, Shalyto Anatoly Abramovich
Article DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH Клебанов А. А., Shalyto Anatoly Abramovich
Article TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING Vadim Gurov, Maxim Mazin, Shalyto Anatoly Abramovich
Article APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM Vitaliy Kleban, Vladimir Parfenov, Shalyto Anatoly Abramovich