Symmetric synthesis

DOI10.4230/LIPICS.FSTTCS.2017.26MaRDI QIDQ5136318zbMATH OpenFDO

Authors Rüdiger Ehlers, Bernd Finkbeiner

Publication date 25 November 2020

Full work available at URL https://arxiv.org/abs/1710.05633

zbMATH Keywords

reactive synthesissymmetry

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Distributed systems (68M14) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis of Asynchronous Systems
• Distributed synthesis for acyclic architectures
• scientific article; zbMATH DE number 1820085
• Distributed Synthesis for Alternating-Time Logics
• Parameterized synthesis

Cites work

• Alternation
• Automated Technology for Verification and Analysis
• Bounded Synthesis
• scientific article; zbMATH DE number 3767031 (Why is no real title available?)
• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1759436 (Why is no real title available?)
• scientific article; zbMATH DE number 5794052 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• Parameterized synthesis
• Space bounded computations: Review and new separation results
• Symmetric and economical solutions to the mutual exclusion problem in a distributed system
• Verification of Open Systems

Cited in

(7)

• Symmetric variation
• Simultaneous symmetrization
• Synthesis from hyperproperties
• Symmetric Complementation
• scientific article; zbMATH DE number 4047988 (Why is no real title available?)
• Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
• Synthesis of autosymmetric functions in a new three-level form

This page was built for publication: Symmetric synthesis

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