no code implementations • 30 Jan 2013 • Craig Boutilier, Ronen I. Brafman, Christopher W. Geib
Another contribution is the illustration of how the compact representation of reachability constraints can be exploited by several existing (exact and approximate) abstraction algorithms for MDPs.