반자동 대수 프레임워크를 통한 제어 장벽 함수의 검증 및 합성

본 논문은 반자동 대수 프레임워크를 통해 제어 장벽 함수 기반 제어 정책의 안전성을 검증하고, 안전한 제어 장벽 함수를 합성하는 방법을 제안한다.