The following pages link to Weighted automata with discounting (Q963467):
Displaying 10 items.
- Weighted finite automata over hemirings (Q388788) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Skew and infinitary formal power series (Q860889) (← links)
- Determinizing discounted-sum automata (Q2915675) (← links)
- Automata with Auxiliary Weights (Q2970201) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)