scientific article; zbMATH DE number 1759436

MaRDI QIDQ4536385zbMATH OpenFDO

Authors Orna Kupferman, Moshe Y. Vardi

Publication date 4 November 2002

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:4952307
• scientific article; zbMATH DE number 1759605
• Church's Problem Revisited
• On high-quality synthesis
• Automated Technology for Verification and Analysis

Cited in

(13)

• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• Symmetric synthesis
• Distributed synthesis for well-connected architectures
• Games for synthesis of controllers with partial observation.
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• Distributed Synthesis for Alternating-Time Logics
• Towards the hierarchical verification of reactive systems
• Characteristic \(\mu\)-calculus formulas for underspecified transition systems
• Specifiable robustness in reactive synthesis
• Synthesis for multi-weighted games with branching-time winning conditions
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

This page was built for publication:

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