Pages that link to "Item:Q3412000"
From MaRDI portal
The following pages link to A Logic of Probability with Decidable Model Checking (Q3412000):
Displaying 12 items.
- Reachability problems for Markov chains (Q477610) (← links)
- Quantification over propositional formulas in probability logic: decidability issues (Q695788) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains (Q2946750) (← links)
- Computability of validity and satisfiability in probability logics over finite and countable models (Q4586148) (← links)
- On the Satisfiability of Some Simple Probabilistic Logics (Q4635861) (← links)
- (Q5015397) (← links)
- Probabilistic Logic over Paths (Q5415665) (← links)
- Probability logic: A model-theoretic perspective (Q5858126) (← links)
- MDPs as distribution transformers: affine invariant synthesis for safety objectives (Q6535681) (← links)
- Skolem and positivity completeness of ergodic Markov chains (Q6551702) (← links)