Pages that link to "Item:Q3557065"
From MaRDI portal
The following pages link to Model Checking Interactive Markov Chains (Q3557065):
Displayed 8 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176) (← links)
- Model checking for performability (Q2843861) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- A Semantics for Every GSPN (Q5300867) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)