We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO
< prev | next >
new | recent | 1912

Change to browse by:

cs
cs.FL

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: The Extended HOA Format for Synthesis

Authors: Guillermo A. Perez
(Submitted on 12 Dec 2019 (v1), last revised 13 May 2020 (this version, v2))
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.
Comments: Updated the link to a cited tool and made it explicit that parity automata can be assumed to be complete
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:1912.05793 [cs.LO]
  (or arXiv:1912.05793v2 [cs.LO] for this version)

Submission history

From: Guillermo Pérez [view email]
[v1] Thu, 12 Dec 2019 06:46:47 GMT (9kb)
[v2] Wed, 13 May 2020 13:35:40 GMT (9kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.