scientific article; zbMATH DE number 1759605

zbMATH Open0999.68124MaRDI QIDQ4536596FDOQ4536596

Authors: Orna Kupferman, Parthasarathy Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi 

Publication date: 28 November 2002

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

Recommendations

• Synthesis for Probabilistic Environments
• Computer Science Logic
• scientific article; zbMATH DE number 2163041
• scientific article; zbMATH DE number 2112979
• Reactive synthesis from signal temporal logic specifications

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (26)

• Iterated Boolean games
• Synthesis for Probabilistic Environments
• A multi-alternative approach to control in open systems: origins, current state, and future prospects
• On proving that an unsafe controller is not proven safe
• A compositional framework for controller synthesis
• Quantifying Bounds in Strategy Logic
• Supervisory control and reactive synthesis: a comparative introduction
• Reactive synthesis for robotic swarms
• Compositional construction of most general controllers
• Estimator-based reactive synthesis under incomplete information
• Complexity results on branching-time pushdown model checking
• Synthesis for multi-weighted games with branching-time winning conditions
• A decidable class of problems for control under partial observation
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• From model checking to equilibrium checking: reactive modules for rational verification
• Reasoning about equilibria in game-like concurrent systems
• Computer Science Logic
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Adapting to the behavior of environments with bounded memory
• Synthesis of large dynamic concurrent programs from dynamic specifications
• Harmonization of interacting automata
• Title not available (Why is that?)
• Pushdown module checking
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• CONCUR 2004 - Concurrency Theory

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