Added agentspecific info and more on mdps to posgsolver