scientific article; zbMATH DE number 1444727

zbMATH Open0953.68090MaRDI QIDQ4952307FDOQ4952307

Moshe Y. Vardi, Orna Kupferman

Publication date: 9 May 2000

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

zbMATH Keywords

program synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (31)

• GR(1)*: GR(1) specifications extended with existential guarantees
• Compositional Control Synthesis for Partially Observable Systems
• GR(1)*: GR(1) specifications extended with existential guarantees
• Synthesis in presence of dynamic links
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Multi-player games with LDL goals over finite traces
• Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
• Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
• Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
• Supervisory control and reactive synthesis: a comparative introduction
• Title not available (Why is that?)
• Partial-Observation Stochastic Games
• Mean-payoff games with partial observation
• Synthesis with privacy against an observer
• Synthesis from hyperproperties
• Model-checking iterated games
• Latticed-LTL synthesis in the presence of noisy inputs
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Automata-Theoretic Approach to Infinite-State Systems
• Perspective games
• A hierarchical and modular control architecture for sequential behaviours
• Title not available (Why is that?)
• Strategy logic
• A verification-driven framework for iterative design of controllers
• Observation and distinction: representing information in infinite games
• Temporal logics of knowledge and their applications in security
• Sequential Relational Decomposition
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control
• Synthesizing adaptive test strategies from temporal logic specifications
• Minimum Attention Controller Synthesis for Omega-Regular Objectives

   Recommendations

• Church's Problem Revisited 👍 👎
• Synthesis: words and traces 👍 👎
• Title not available (Why is that?) 👍 👎
• SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS 👍 👎
• Automated Technology for Verification and Analysis 👍 👎

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 Q4952307)