Алгоритмы разрешения дорожных ситуаций на основе формальной модели правил дорожного движениядипломная работа (Магистр)