Author:
Publication: Artificial Intelligence
Optimal cost almost-sure reachability in POMDPs
Games for query inseparability of description logic knowledge bases