Deciding co-observability is PSPACE-complete

Kurt Rohloff, Tae-Sic Yoo, Stéphane Lafortune. Deciding co-observability is PSPACE-complete. IEEE Trans. Automat. Contr., 48(11):1995-1999, 2003. [doi]

Abstract

Abstract is missing.