Verified probabilistic policies for deep reinforcement learning per Bacci, E, Parker, D

Verifying reinforcement learning up to infinity per Bacci, E, Giacobbe, M, Parker, D