Deciding co-observability is PSPACE-complete

Sorry, there's nothing here.

Cite this paper

@article{Rohloff2003DecidingCI, title={Deciding co-observability is PSPACE-complete}, author={Kurt Rohloff and Tae-Sic Yoo and St{\'e}phane Lafortune}, journal={IEEE Trans. Automat. Contr.}, year={2003}, volume={48}, pages={1995-1999} }