The following pages link to A Semantics for Every GSPN (Q5300867):
Displaying 14 items.
- Confluence reduction for Markov automata (Q507382) (← links)
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Model-based evaluation of the power versus performance of network routing algorithms (Q2047526) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)
- (Q5207054) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
- A modest Markov automata tutorial (Q6535989) (← links)
