Sign in
A survey on compositional algorithms for verification and synthesis in supervisory control.
Robi Malik
Sahar Mohajerani
Martin Fabian
Published in:
Discret. Event Dyn. Syst. (2023)
Keyphrases
</>
learning algorithm