Pages that link to "Item:Q2912690"
From MaRDI portal
The following pages link to Efficient Modelling and Generation of Markov Automata (Q2912690):
Displaying 11 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Sampling different kinds of acyclic automata using Markov chains (Q442144) (← 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)
- Pattern Markov Chains: Optimal Markov Chain Embedding Through Deterministic Finite Automata (Q5459921) (← links)
- A modest Markov automata tutorial (Q6535989) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)