Strategy Synthesis in POMDPs via Game-Based Abstractions

Open in new window