Pages that link to "Item:Q3617739"
From MaRDI portal
The following pages link to On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739):
Displayed 8 items.
- Recognizable sets of power series over finite fields (Q1695187) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- The Complexity of Nash Equilibria in Limit-Average Games (Q3090850) (← links)
- (Q5101346) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)