The following pages link to Probabilistic Weighted Automata (Q3184677):
Displaying 17 items.
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Weighted restarting automata (Q1797778) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Randomization in Automata on Infinite Trees (Q2946733) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Regular Expressions on Average and in the Long Run (Q3073640) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Probabilistic asynchronous automata (Q4864443) (← links)
- Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
- Probabilistic ω-automata (Q5395674) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- On the Verification of Weighted Kripke Structures Under Uncertainty (Q6104802) (← links)