scientific article; zbMATH DE number 1444727
From MaRDI portal
Publication:4952307
zbMath0953.68090MaRDI QIDQ4952307
Moshe Y. Vardi, Orna Kupferman
Publication date: 9 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (27)
Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Mean-payoff games with partial observation ⋮ Compositional Control Synthesis for Partially Observable Systems ⋮ Model-checking iterated games ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ Sequential Relational Decomposition ⋮ Synthesis for Multi-weighted Games with Branching-Time Winning Conditions ⋮ BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Observation and distinction: representing information in infinite games ⋮ Unnamed Item ⋮ Multi-player games with LDL goals over finite traces ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control ⋮ GR(1)*: GR(1) specifications extended with existential guarantees ⋮ Partial-Observation Stochastic Games ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Strategy logic ⋮ Synthesizing adaptive test strategies from temporal logic specifications ⋮ Unnamed Item ⋮ Synthesis from hyperproperties ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Unnamed Item ⋮ A verification-driven framework for iterative design of controllers ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Synthesis in presence of dynamic links ⋮ A hierarchical and modular control architecture for sequential behaviours
This page was built for publication:
