The Extended HOA Format for Synthesis

Guillermo A. Perez
12/12/2019
cs.LOcs.FL

No confident code implementation found for this paper.

Abstract

We propose a small extension to the Hanoi Omega-Automata format to define reactive-synthesis problems. Namely, we add a "controllable-AP" header item specifying the subset of atomic propositions which is controllable. We describe the semantics of the new format and propose an output format for synthesized strategies. Finally, we also comment on tool support meant to encourage fast adoption of the extended Hanoi Omega-Automata format for synthesis.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

A High-Level LTL Synthesis Format: TLSF v1.1

82% match1 repo282016

Synthesis of Procedural Models for Deterministic Transition Systems

78% match1 repo52023

FrAngel: Component-Based Synthesis with Control Structures

77% match1 repo262018

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills

74% match2024

Online Prompt Selection for Program Synthesis

73% match2025

SLSpy: Python-Based System-Level Controller Synthesis Framework

73% match2 repos182020

Cite this paper

@article{perez2019extended,
  title  = {The Extended HOA Format for Synthesis},
  author = {Guillermo A. Perez},
  year   = {2019},
  eprint = {1912.05793},
  archivePrefix = {arXiv},
  url    = {https://arxiv.org/abs/1912.05793}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/1912.05793.svg)](https://codeofpaper.com/paper/1912.05793)

Discussion