Проверка SMA

Временная логика для МАС

Логический формализм, позволяющий выражать свойства эволюции во времени коллективного поведения агентов. Включает CTL, LTL и их расширения для рассуждений о мульти-агентных взаимодействиях.

← Назад