Synthesis with Identifiers

DOI10.1007/978-3-642-54013-4_23zbMath1428.68183OpenAlexW2164978227MaRDI QIDQ2938081

Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit

Publication date: 13 January 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54013-4_23

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Reactive synthesis from visibly register pushdown automata ⋮ Unnamed Item ⋮ Church synthesis on register automata over linearly ordered data domains ⋮ Unnamed Item ⋮ On computability of data word functions defined by transducers ⋮ On Synthesis of Specifications with Arithmetic ⋮ Synthesis of Data Word Transducers ⋮ Unnamed Item

This page was built for publication: Synthesis with Identifiers