The Skyline algorithm for POMDP value function pruning