//////////////////////////////////////////////////////////////////// // // RDDL MDP version of the Dice Game demo instance for IPC 2018 by // Thomas Keller (tho.keller [at] unibas.ch). // //////////////////////////////////////////////////////////////////// instance dice_game_demo_inst_mdp__1 { domain = dice_game_demo_mdp; objects { die : {d1, d2, d3}; }; horizon = 10; discount = 1.0; }