Extended AIGER Format for Synthesis

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.

Cited by in corpus (7)

• A High-Level LTL Synthesis Format: TLSF v1.1
• The First Reactive Synthesis Competition (SYNTCOMP 2014)
• Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
• The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
• The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
• Specification Format for Reactive Synthesis Problems
• The Extended HOA Format for Synthesis