Pages that link to "Item:Q2954997"
From MaRDI portal
The following pages link to Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics (Q2954997):
Displaying 7 items.
- Towards a structural proof theory of probabilistic \(\mu\)-calculi (Q2289094) (← links)
- Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249) (← links)
- Probabilistic temporal logics via the modal mu-calculus (Q2566296) (← links)
- An expectation-transformer model for probabilistic temporal logic (Q4934885) (← links)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (Q4977213) (← links)
- (Q5009454) (← links)
- (Q5028436) (← links)