마르코프 의사결정 프로세스의 효율성 향상을 위한 감시 과제 최적 제어 합성

마르코프 의사결정 프로세스에서 정성적 감시 과제를 달성하면서 정량적 효율성을 최대화하는 최적 제어 정책을 합성한다.