Pages that link to "Item:Q3636862"
From MaRDI portal
The following pages link to Towards Performance Prediction of Compositional Models in Industrial GALS Designs (Q3636862):
Displayed 9 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Deciding probabilistic automata weak bisimulation: theory and practice (Q282105) (← links)
- Polynomial time decision algorithms for probabilistic automata (Q498403) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)