: =has camera, =covered (no camera), =not covered (needs parent's camera). If any child is not covered (state ), must have a camera (state ).
If any child has camera (state ), is covered (state ). Otherwise, all children are covered (state ), so is not covered (state ) and relies on its parent. The three states capture all possibilities. The transitions make sure every node gets covered without redundant cameras.