Synthesis with Identifiers

DOI10.1007/978-3-642-54013-4_23MaRDI QIDQ2938081zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Synthesis from hyperproperties
• Synthesis with abstract examples
• scientific article; zbMATH DE number 1872989
• Identification methods in a unified framework
• The synthesis problem
• Synthesis: words and traces
• Synthesis in presence of dynamic links
• scientific article; zbMATH DE number 7455739

Cited in

(12)

• Synthesizing skeletons for reactive systems
• Reactive synthesis from visibly register pushdown automata
• On computability of data word functions defined by transducers
• On synthesis of specifications with arithmetic
• Computability of data-word transductions over different data domains
• Synthesis of data word transducers
• Synthesis of Data Word Transducers
• Register-bounded synthesis
• Church synthesis on register automata over linearly ordered data domains
• Realizability modulo theories
• Church synthesis on register automata over linearly ordered data domains
• Monitorability for the modal -calculus over systems with data: from practice to theory

This page was built for publication: Synthesis with Identifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938081)