SMACS

swMATH6144MaRDI QIDQ18278FDOQ18278

Author name not available (Why is that?)

Described by source

• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation

Cited In (1)

• Decentralized control of infinite systems

This page was built for software: SMACS