Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

L. Swartjes, M.A. Reniers, D. A. Van Beek, W. J. Fokkink

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

Fingerprint

Dive into the research topics of 'Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors'. Together they form a unique fingerprint.

Computer Science

Medicine and Dentistry