A On Relation between and Weakly Revealing

We first introduce the definition of IIEFGs. That is, no state can emit two different observations. We now show that any IIEFG can be represented by 1 -weakly-revealing POMGs. Strictly speaking, we restrict our attention to timeable IIEFGs. A.2 On Inefficiency of Representing POMGs using IIEFGs We prove two theorems for representing POMGs using IIEFGs: First we show POMGs can be represented by IIEFGs with an exponentially large size.