Pages that link to "Item:Q3163874"
From MaRDI portal
The following pages link to On Probabilistic Alternating Simulations (Q3163874):
Displayed 4 items.
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)