Deciding co-observability is PSPACE-complete | IEEE Journals & Magazine | IEEE Xplore