SMACS

swMATH6144MaRDI QIDQ18278FDOQ18278

Author name not available (Why is that?)

Official website: http://www.ulb.ac.be//di/verif/tlegall/smacs/index.html

Described by source

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

Cited In (2)

• Fixpoint
• Decentralized control of infinite systems

This page was built for software: SMACS