Pages that link to "Item:Q3163874"
From MaRDI portal
The following pages link to On Probabilistic Alternating Simulations (Q3163874):
Displaying 6 items.
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Partially effective randomization in simulations between ARBITRARY and COMMON PRAMs (Q1881272) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (Q3623003) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)