Searching for "Probabilistic Weighted Automata." – sorted by Relevance.
-
Metrics for Action-labelled Quantitative Transition Systems
- that our results apply to both probabilistic and weighted automata as special cases of action
- Cited by 12 (3 self) – Add To MetaCart
-
On Behavior Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic
- of probabilistic weighted automata for which the standard definition of probabilistic bisimulation makes sense. A
- Cited by 4 (2 self) – Add To MetaCart

