다중 보상, LTL 및 정상 상태 제약을 위한 MDP 제어기 합성: MULTIGAIN 2.0

MULTIGAIN 2.0은 MDP에 대해 LTL 및 정상 상태 제약 하에서 장기 평균 보상을 최대화하는 정책을 합성할 수 있다.