Pages that link to "Item:Q2912690"
From MaRDI portal
The following pages link to Efficient Modelling and Generation of Markov Automata (Q2912690):
Displayed 7 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- A Semantics for Every GSPN (Q5300867) (← links)