MDPコントローラ合成のための多次元長期平均報酬、LTL、定常状態制約の統合ツール「MULTIGAIN 2.0」

MULTIGAIN 2.0は、MDPに対して長期平均報酬の最大化を行いつつ、LTL仕様と定常状態制約を満たすコントローラを合成するツールである。