О верификации свойств вероятностных мультиагентных систем

Валиев М.К.; Дехтярь М.И.; Диковский А.Я.

Аннотация:

Результаты предыдущей работы по верификации динамических свойств мультиагентных систем с вероятностными каналами связи обобщаются на случай систем, когда дополнительно вероятностными могут быть действия агентов.

Язык публикации: русский, страниц: 8

Направление исследований:

Программирование, параллельные вычисления, мультимедиа

Полный текст на русском языке:

Валиев Марс Котдусович, ,

Дехтярь М.И.

Диковский А.Я.

	Библиотеки, издания • Поиск публикаций	English
	Публикация