scientific article; zbMATH DE number 1759436
From MaRDI portal
Publication:4536385
zbMath0996.68107MaRDI QIDQ4536385
Moshe Y. Vardi, Orna Kupferman
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Distributed synthesis for well-connected architectures ⋮ Towards the hierarchical verification of reactive systems ⋮ Synthesis for Multi-weighted Games with Branching-Time Winning Conditions ⋮ Specifiable robustness in reactive synthesis ⋮ Games for synthesis of controllers with partial observation. ⋮ Distributed Synthesis for Alternating-Time Logics ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) ⋮ Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems ⋮ Unnamed Item
