Pages that link to "Item:Q453498"
From MaRDI portal
The following pages link to Antichains and compositional algorithms for LTL synthesis (Q453498):
Displaying 15 items.
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Parametric linear dynamic logic (Q515660) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
- Decoy allocation games on graphs with temporal logic objectives (Q2056945) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes (Q2407982) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- (Q5005148) (← links)
- (Q5015286) (← links)
- (Q5207050) (← links)
