Pages that link to "Item:Q4722046"
From MaRDI portal
The following pages link to Probabilistic propositional temporal logics (Q4722046):
Displaying 14 items.
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems (Q1365673) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514) (← links)
- A temporal logic for proving properties of topologically general executions (Q1917070) (← links)
- PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems (Q2821447) (← links)
- Super-Solutions (Q2946725) (← links)
- (Q3157529) (← links)
- (Q4965871) (← links)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (Q4977213) (← links)
- (Q5009450) (← links)
- Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Q5034220) (← links)
- Probabilistic concurrent constraint programming (Q6044121) (← links)