Pages that link to "Item:Q5491869"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5491869):
Displayed 22 items.
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Synchronous counting and computational algorithm design (Q896024) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Distributed synthesis for regular and contextfree specifications (Q2249664) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Program Repair for Hyperproperties (Q3297603) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Bounded Synthesis for Petri Games (Q3449635) (← links)
- Distributed Synthesis for Alternating-Time Logics (Q3510801) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- Synthesis of Fault-Tolerant Distributed Systems (Q3648709) (← links)
- (Q5020999) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
- (Q5136318) (← links)
- (Q5136320) (← links)
- (Q5136322) (← links)