scientific article; zbMATH DE number 1444727
From MaRDI portal
zbMATH Open0953.68090MaRDI QIDQ4952307FDOQ4952307
Authors: Orna Kupferman, Moshe Y. Vardi 
Publication date: 9 May 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (37)
- GR(1)*: GR(1) specifications extended with existential guarantees
- Symmetric synthesis
- 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
- 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?)
- Sequential relational decomposition
- An automata-theoretic approach to infinite-state systems
- Estimator-based reactive synthesis under incomplete information
- Synthesis for multi-weighted games with branching-time winning conditions
- Assume-guarantee synthesis for concurrent reactive programs with partial information
- 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?)
- SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
- 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
- Partial-observation stochastic games, how to win when belief fails
- Observation and distinction: representing information in infinite games
- Temporal logics of knowledge and their applications in security
- Synthesizing strategies for homogeneous multi-agent systems with incomplete information
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control
- Automated Technology for Verification and Analysis
- Synthesizing adaptive test strategies from temporal logic specifications
- Latticed-LTL synthesis in the presence of noisy inputs
- Minimum Attention Controller Synthesis for Omega-Regular Objectives
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)
