Pages that link to "Item:Q1631227"
From MaRDI portal
The following pages link to Trace relations and logical preservation for Markov automata (Q1631227):
Displaying 4 items.
- Non-bisimulation based behavioral relations for Markov automata (Q1631228) (← links)
- Trace relations and logical preservation for continuous-time Markov decision processes (Q1675807) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)