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]

Authors

Kurt Rohloff

This author has not been identified. Look up 'Kurt Rohloff' in Google

Tae-Sic Yoo

This author has not been identified. Look up 'Tae-Sic Yoo' in Google

Stéphane Lafortune

This author has not been identified. Look up 'Stéphane Lafortune' in Google