research
∙
05/23/2023
Search and Explore: Symbiotic Policy Synthesis in POMDPs
This paper marries two state-of-the-art controller synthesis methods for...
share
research
∙
01/21/2022
Under-Approximating Expected Total Rewards in POMDPs
We consider the problem: is the optimal expected total reward to reach a...
research
∙
06/30/2020
