Extended AIGER Format for Synthesis
Swen Jacobs · arXiv (Cornell University) · 2014
We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one format for posing synthesis problems and one for solutions of synthesis problems in this setting.