Solving Stackelberg games with uncertain observability | Synapse