3차원 선박 모델의 도달-회피 제어기 합성을 위한 대칭성 기반 추상화 알고리즘

대칭성을 활용하여 효율적인 상징적 제어 합성 알고리즘을 제안한다. 이 알고리즘은 동적 대칭성을 활용하여 중복 계산을 피하기 위한 간단한 추상화를 구축한다.