Electronic Documents Search

Documents found: 1

1

Обзор применения формальных методов в робототехнике // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2016. – № 1 (236)

Creators	Мордвинов Дмитрий Александрович; Литвинов Юрий Викторович
Organization	Санкт-Петербургский государственный университет; "Инструменты и методы анализа 2015", научная конференция; Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Collection	Общая коллекция
Subjects	Радиоэлектроника; Искусственный интеллект. Экспертные системы; робототехника; роботы; формальные методы анализа; формальные методы; темпоральные логики; поведение роботов; робототехнические системы; сети Петри; Петри сети; формализмы; марковские модели; динамическая верификация
UDC	004.8
LBC	32.813
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.5862/JCSTCS.236.8
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.4 Mb

1