The following pages link to Weighted automata with discounting (Q963467):
Displayed 5 items.
- Weighted finite automata over hemirings (Q388788) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← 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)