Pages that link to "Item:Q673117"
From MaRDI portal
The following pages link to A decomposition theorem for probabilistic transition systems (Q673117):
Displaying 9 items.
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- A decomposition theorem for finite persistent transition systems (Q1015394) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- On coverings of products of uninitialized sequential quantum machines (Q2323760) (← links)
- Equivalences for silent transitions in probabilistic systems (extended abstract) (Q2848135) (← links)
- On Almost-Sure Properties of Probabilistic Discrete Event Systems (Q3100947) (← links)
- (Q4550984) (← links)
- Synthesizing Probabilistic Invariants via Doob’s Decomposition (Q4633526) (← links)
- Effective theories for circuits and automata (Q5264344) (← links)