Minigrid2PRISM

github

Minigrid2PRISM is a tool for automatic one-to-one translations between Minigrid^Safe environments and the PRISM modelling language.