Synthesizing nonblocking distributed supervisors based on automaton abstraction

R. Su, J.H. Schuppen, van, J.E. Rooda

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)

    Fingerprint

    Dive into the research topics of 'Synthesizing nonblocking distributed supervisors based on automaton abstraction'. Together they form a unique fingerprint.

    Computer Science