48 citations · 362 across the 28 of their papers we have counts for
1 paper · 1 filter
Swen Jacobs
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 form…