SMACS

MaRDI QIDQ18278swMATHFDO

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