PSPACE-completeness of modular supervisory control problems

Kurt Rohloff, Stéphane Lafortune

Research output: Contribution to journalReview articlepeer-review

15 Scopus citations

Fingerprint

Dive into the research topics of 'PSPACE-completeness of modular supervisory control problems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science