prism-robots svn update
exporting automata into a file when generating policies, to allow distance to goal calculation