Pages that link to "Item:Q2888508"
From MaRDI portal
The following pages link to On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus (Q2888508):
Displaying 14 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249) (← links)
- Measure Properties of Game Tree Languages (Q2922025) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- (Q3384159) (← links)
- (Q4411813) (← links)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (Q4977213) (← links)
- (Q5009454) (← links)
- (Q5094116) (← links)
- (Q5214813) (← links)
- (Q5856412) (← links)
- (Q5875370) (← links)
- On the use of model and logical embeddings for model checking of probabilistic systems (Q6535466) (← links)