The following pages link to Vahid Hashemi (Q282103):
Displaying 11 items.
- Deciding probabilistic automata weak bisimulation: theory and practice (Q282105) (← links)
- Reformulation of the linear program for completely ergodic MDPs with average cost criteria (Q1676496) (← links)
- Exploiting robust optimization for interval probabilistic bisimulation (Q1693117) (← links)
- Reward-Bounded Reachability Probability for Uncertain Weighted MDPs (Q2796060) (← links)
- Compositional Bisimulation Minimization for Interval Markov Decision Processes (Q2798714) (← links)
- Circular and radial design comparison of survivability in asymmetrical hierarchical networks (Q2885521) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- (Q4994959) (← links)
- Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs (Q5045376) (← links)
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes (Q5194931) (← links)
- (Q5283003) (← links)
