Pages that link to "Item:Q2909219"
From MaRDI portal
The following pages link to Using strategy improvement to stay alive (Q2909219):
Displaying 6 items.
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (Q1706164) (← links)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- QUASY: Quantitative Synthesis Tool (Q3000655) (← links)
- (Q4829280) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)