Article

MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION

Article

SMALL-SIZED HELICOPTER CONTROL SYSTEM DEVELOPMENT

Article

AUTOMATIC SYNTHESIS OF MOBILE ROBOT CONTROL SYSTEM FOR SOLVING THE "KEGELRING" PROBLEM

Article

HARDWARE AND SOFTWARE COMPLEX FOR FINITE STATE MOBILE ROBOT CONTROL STUDY

Article

GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS

Article

VIRTUAL LABORATORY FOR ARTIFICIAL INTELLIGENCE TRAINING METHODS FOR CONTROLLING FINITE STATE AUTOMATA GENERATION

Article

MODIFICATION OF AUTOMATA PROGRAMS

Article

APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION

Article

ON THE FORMAL SPECIFICATION AND VERIFICATION OF AUTOMATA-BASED PROGRAMS BY SPECIFICATION PATTERNS

Article

AUTOMATA-BASED PROGRAMMING PARADIGM

Shalyto Anatoly A.