Extended AIGER Format for Synthesis
Other Computer Science
2014-05-27 v2
Abstract
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.
Cite
@article{arxiv.1405.5793,
title = {Extended AIGER Format for Synthesis},
author = {Swen Jacobs},
journal= {arXiv preprint arXiv:1405.5793},
year = {2014}
}