scientific article; zbMATH DE number 1759605

MaRDI QIDQ4536596zbMATH OpenFDO

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

Publication date 28 November 2002

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)

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

Cited in

(26)

• Iterated Boolean games
• A multi-alternative approach to control in open systems: origins, current state, and future prospects
• Synthesis for Probabilistic Environments
• 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
• A decidable class of problems for control under partial observation
• Synthesis for multi-weighted games with branching-time winning conditions
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Reasoning about equilibria in game-like concurrent systems
• From model checking to equilibrium checking: reactive modules for rational verification
• Computer Science Logic
• Synthesis of large dynamic concurrent programs from dynamic specifications
• Harmonization of interacting automata
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Adapting to the behavior of environments with bounded memory
• Pushdown module checking
• scientific article; zbMATH DE number 1759436 (Why is no real title available?)
• 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)