Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

  • A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Научный семинар лаборатории по теме "Математические основы моделирования многоагентных систем"

27 января состоялся научный семинар по теме "Математические основы моделирования многоагентных систем" .

27 января в 17:00 состоялся научный семинар лаборатории по теме "Математические основы моделирования многоагентных систем". Основной докладчик, преподаватель кафедры ИСиТ НФ ГУ-ВШЭ Набиуллин О.Р. рассказал об основах формального метода верификации многоагентных систем на основе формализма машин действий. В рамках семинара прошла дискуссия о деталях математической модели и других похожих методах.