Software for conference paper "Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis: tool implementation and case studies"

This repository contains the files accompanying the paper "Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis: tool implementation and case studies" by Martijn Goorden and Michel Reniers, submitted to Conference on Automation Science and Engineering (CASE), 2024. Instructions are in readme.txt.