Pages that link to "Item:Q5899063"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899063):
Displayed 10 items.
- Recurrence and transience for finite probabilistic tables (Q631776) (← links)
- Quantitatively fair scheduling (Q764298) (← links)
- From liveness to promptness (Q1039845) (← links)
- On equilibria in quantitative games with reachability/safety objectives (Q1678747) (← links)
- Code aware resource management (Q2248054) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Stochastic Games with Finitary Objectives (Q3182912) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- (Q5079761) (← links)
- (Q5232902) (← links)