refactor: only value iteration is necessary
refactor: EventTimes is not used
fix pylint issues