Pages that link to "Item:Q3190115"
From MaRDI portal
The following pages link to Synthesis from Component Libraries with Costs (Q3190115):
Displaying 6 items.
- Network-formation games with regular objectives (Q342715) (← links)
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Dynamic Resource Allocation Games (Q2819456) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- The Complexity of Synthesis from Probabilistic Components (Q3449469) (← links)
- On High-Quality Synthesis (Q5740173) (← links)
