Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting.

Samik Basu Ratnesh Kumar

Published in: IEEE CAA J. Autom. Sinica (2021)

Keyphrases

expert systems
databases
complex systems
artificial intelligence
knowledge base
building blocks
information retrieval
high level
management system
black box
control method
automated verification