research
∙
07/10/2023
Deductive Controller Synthesis for Probabilistic Hyperproperties
Probabilistic hyperproperties specify quantitative relations between the...
share
research
∙
05/23/2023
Search and Explore: Symbiotic Policy Synthesis in POMDPs
This paper marries two state-of-the-art controller synthesis methods for...
research
∙
03/21/2022
Inductive Synthesis of Finite-State Controllers for POMDPs
We present a novel learning framework to obtain finite-state controllers...
research
∙
01/29/2021