Pages that link to "Item:Q2930304"
From MaRDI portal
The following pages link to Reasoning about online algorithms with weighted automata (Q2930304):
Displaying 12 items.
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- Coping with selfish on-going behaviors (Q418112) (← links)
- Reactive synthesis without regret (Q520338) (← links)
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Formal Analysis of Online Algorithms (Q3172916) (← links)
- Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
- (Q5376652) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)