scientific article; zbMATH DE number 1759436

zbMATH Open0996.68107MaRDI QIDQ4536385FDOQ4536385

Authors: Orna Kupferman, Moshe Y. Vardi 

Publication date: 4 November 2002

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (13)

• Symmetric synthesis
• Distributed synthesis for well-connected architectures
• Games for synthesis of controllers with partial observation.
• Distributed Synthesis for Alternating-Time Logics
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• Characteristic \(\mu\)-calculus formulas for underspecified transition systems
• Towards the hierarchical verification of reactive 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
• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• Title not available (Why is that?)

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)