no code implementations • 25 Jul 2021 • Richard Ean, Karen Rudie
An epistemic model for decentralized discrete-event systems with non-binary control is presented.