핵심 개념
로봇의 MITL 작업의 시간적 견고성을 최대화하는 전략을 찾는 것이 목표입니다.
초록
로봇의 항해 시간이 불확실한 환경에서 MITL 작업을 최적화하기 위한 방법론 소개
VWTS 및 MDP를 활용하여 전략 합성
불확실한 항해 시간 하의 전략 합성을 위한 최적화 함수 및 LP 문제 해결
시뮬레이션 결과를 통해 방법론의 확장성 및 효율성 검증
통계
로봇의 MITL 작업을 최적화하는 방법론 소개
VWTS 및 MDP를 활용한 전략 합성
불확실한 항해 시간 하의 전략 합성을 위한 최적화 함수 및 LP 문제 해결
시뮬레이션 결과를 통한 방법론의 확장성 및 효율성 검증
인용구
"로봇의 MITL 작업의 시간적 견고성을 최대화하는 전략을 찾는 것이 목표입니다." - 저자