Pages that link to "Item:Q5418954"
From MaRDI portal
The following pages link to Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954):
Displayed 3 items.
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)