A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.

Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski

Browse the full SEFM paper archive.