Samik Basu 0001, Ratnesh Kumar 0001. Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting. IEEE CAA J. Autom. Sinica, 8(5):953-970, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.