Denis Samygin, Andrey Tuskov, Ekaterina Grosheva, Botagoz Saparova, Altynai Saparova, W. Zhihao, G. Hui, S. Papadakis, “Improving digital services and algorithms for planning subsidies in the agricultural sector”, E3S Web Conf., 542 (2024), 03008
М. В. Нейзов, Е. В. Кузьмин, “LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью”, Модел. и анализ информ. систем, 31:3 (2024), 240–279
Yurievich K.V., Alekseevich L.A., Alexandrovich L.Yu., Alekseevich S.D., “a Software Implementation of Sequential State Machines To Manage Technical Means of Transport”, Mar. Intellect. Technol., 2:4 (2016), 20–24
Aniculaesei A., Arnsberger D., Howar F., Rausch A., “Towards the Verification of Safety-Critical Autonomous Systems in Dynamic Environments”, Electron. Proc. Theor. Comput. Sci., 2016, no. 232, 79–90
Honcharov A.A., “About Complex Approach To Modelling of Technological Machines Functioning”, Sci. Tech., 2015, no. 4, 45–50
Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto, Lecture Notes in Computer Science, 8855, Hardware and Software: Verification and Testing, 2014, 165
Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto, Proceedings of the 15th annual conference companion on Genetic and evolutionary computation, 2013, 199
Izidor Mlakar, Matej Rojc, “A NEW DISTRIBUTED PLATFORM FOR CLIENT-SIDE FUSION OF WEB APPLICATIONS AND NATURAL MODALITIES—A MULTIMODAL WEB PLATFORM”, Applied Artificial Intelligence, 27:7 (2013), 551
Igor Buzhinsky, Vladimir Ulyantsev, Anatoly Shalyto, “Test-Based Induction of Finite-State Machines with Continuous Output Actions”, IFAC Proceedings Volumes, 46:9 (2013), 1049
Антипова Е.В., “Влияние способа преобразования автоматных диаграмм на параметры сгенерированного программного кода”, Вестник волжского университета им. В.Н. Татищева, 2012, 111–123 Effect of state diagram transformation method on generated code parameters
Vladimir I. Ulyantsev, Fedor N. Tsarev, “Extended Finite-State Machine Induction using SAT-Solver”, IFAC Proceedings Volumes, 45:6 (2012), 236
Maxim Buzdalov, Andrey Sokolov, Proceedings of the 14th annual conference companion on Genetic and evolutionary computation, 2012, 591
Fedor Tsarev, Kirill Egorov, Proceedings of the 13th annual conference companion on Genetic and evolutionary computation, 2011, 759
V. Ulyantsev, F. Tsarev, 2011 10th International Conference on Machine Learning and Applications and Workshops, 2011, 346
Anton Alexandrov, Alexey Sergushichev, Sergey Kazakov, Fedor Tsarev, Proceedings of the 13th annual conference companion on Genetic and evolutionary computation, 2011, 775
Rojc M., Hoege H., Kacic Z., “Remote-Based Text-to-Speech Modules' Evaluation Framework: the Res Framework”, Lang. Resour. Eval., 44:4 (2010), 371–386
Rojc M., Mlakar I., “Finite-State Machine Based Distributed Framework Data for Intelligent Ambience Systems”, Proceedings of the 8th Wseas International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics (Cimmacs `09), eds. Bulucea C., Mladenov V., Pop E., Leba M., Mastorakis N., World Scientific and Engineering Acad and Soc, 2009, 80–85
А. А. Клебанов, А. А. Шалыто, “Разработка корректных Java Card-программ на основе автоматного подхода”, Модел. и анализ информ. систем, 15:3 (2008), 47–55
Kuzmin E.V., Sokolov V.A., “Modeling, Specification, and Verification of Automaton Programs”, Program. Comput. Softw., 34:1 (2008), 27–43
Rojc M., Hoege H., Kacic Z., “Ecess Platform for Web Based Tts Modules and Systems Evaluation”, Verbal and Nonverbal Features of Human-Human and Human-Machine Interactions, Lecture Notes in Artificial Intelligence, 5042, eds. Esposito A., Bourbakis N., Avouris N., Hatzilygeroudis I., Springer-Verlag Berlin, 2008, 149–157