Model abstraction of nondeterministic finite state automata in supervisor synthesis

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

    Research output: Book/Report › Report › Academic

    114 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Model abstraction of nondeterministic finite state automata in supervisor synthesis'. Together they form a unique fingerprint.

    Computer Science