Categories
recording

A Polynomial All Outcome Determinization for Probabilistic Planning