During SYNTCOMP 2023, acacia did pretty well in terms of quality of controllers synthesized. The tools that were better both have a post-processing step of minimization of the controller (some use the tool ABC). Perhaps something similar should be implemented here?
During SYNTCOMP 2023, acacia did pretty well in terms of quality of controllers synthesized. The tools that were better both have a post-processing step of minimization of the controller (some use the tool ABC). Perhaps something similar should be implemented here?