Заметили ошибку или устаревшие данные? Сообщите нам, и мы проверим.
Об этой возможности: Eighth International Workshop on Formal Methods for Autonomous Systems (FMAS2026)
