GitHub repository: AI3EL/DiameterCoverTime
Primary language: Python
Created: 2019-12-18T18:00:19Z
Description: How options influence diameter and cover time of a MDP