Pages that link to "Item:Q3525652"
From MaRDI portal
The following pages link to Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes (Q3525652):
Displayed 7 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes (Q3617741) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)