Extended AIGER Format for Synthesis
  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. 
Swen Jacobs
cs.OH