데이터 기반 불확실 MDP를 통한 강건한 제어 합성

이 연구는 데이터 기반 이산 확률 모델을 통해 동적 시스템의 추상화를 제안하며, 이를 통해 안전 및 도달-회피 등의 복잡한 시간 속성을 만족하는 제어기를 합성할 수 있다.