ModelFail was first introduced by Thomas and Brunskill [2016] to show the failure of model-based approach in the