이 연구는 복잡한 사양을 만족하는 자율 시스템을 평가하기 위한 테스트 환경을 자동으로 합성하는 유동 기반 접근 방식을 제안합니다. 이 접근 방식은 시간적 논리 사양을 사용하여 테스트 행동을 설명하고, 자동화된 최적화 기법을 통해 시스템의 목표를 달성할 수 있는 최소한의 제한을 가하는 테스트 전략을 합성합니다.