pith. sign in

arxiv: 1405.5793 · v2 · pith:O3G5EI57new · submitted 2014-05-22 · 💻 cs.OH

Extended AIGER Format for Synthesis

Swen Jacobs This is my paper
classification 💻 cs.OH
keywords formatsynthesisproblemsaigerdefineextendextendedhwmcc
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Strategy Representation by Decision Trees with Linear Classifiers

    cs.LO 2019-06 unverdicted novelty 7.0

    Decision trees with linear classifiers enable more succinct exact representations of strategies in graph games and MDPs than standard decision trees, per experimental results.