Pages that link to "Item:Q2566296"
From MaRDI portal
The following pages link to Probabilistic temporal logics via the modal mu-calculus (Q2566296):
Displaying 14 items.
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics (Q2954997) (← links)
- Probabilistic Modal μ-Calculus with Independent Product (Q3000616) (← links)
- Model checking with probabilistic tabled logic programming (Q4911143) (← links)
- An expectation-transformer model for probabilistic temporal logic (Q4934885) (← links)
- (Q4965871) (← links)
- (Q5009454) (← links)
- Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Q5034220) (← links)
- Probabilistic Logic over Paths (Q5415665) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)