Pages that link to "Item:Q5191530"
From MaRDI portal
The following pages link to FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191530):
Displaying 21 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- A Compositional Framework for Controller Synthesis (Q3090853) (← links)
- Consensus Game Acceptors (Q3451093) (← links)
- Bounded Synthesis (Q3510817) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- Consensus Game Acceptors and Iterated Transductions (Q4640036) (← links)
- (Q5013876) (← links)
- (Q5015281) (← links)
- (Q5020999) (← links)
- Knowledge and Local Actions (Q5213656) (← links)
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis (Q5448644) (← links)
