Tag: linear-temporal-logic

Found 20 results for 'linear-temporal-logic'.

---

1) lo.logic - Trace Equivalence vs LTL Equivalence
2) reference-request - Complexity of propositional LTL with past operators and freeze quantifier?
3) time-complexity - What is the complexity of model checking Process Logic (LTL fragment)?
4) lo.logic - What's the simplest to implement of all decent LTL-to-Buchi translation or other LTL verification algorithms?
5) model-checking - LTL property - safety or liveness?
6) lo.logic - Do past time LTL and future time LTL have the same expressiveness?
7) linear-temporal-logic - Why does LTL equivalence (with next oeprator) implie trace equivalence in finite transition machines?
8) lo.logic - What is an unambiguous language in the sense of Schützenberger?
9) proofs - Proving that a given formula in LTL is the smallest way to express it
10) model-checking - Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?
11) linear-temporal-logic - CTL and LTL logic difference
12) reference-request - Translation of Counter-free automata into Linear Temporal Logic
13) temporal-logic - Linear temporal logic in computational trees
14) model-checking - Difference between CTMC, DTMC, and MDP
15) automata-theory - Decomposition of safety and liveness properties
16) lo.logic - Calculating least fixed points in equations
17) fl.formal-languages - Reference request: An algebraic characterisation of LTL[XF]-definable word languages
18) linear-temporal-logic - Syntactic characterisation of the intersection of CTL and LTL
19) linear-temporal-logic - Syntactic characterisation of the intersection of CTL and LTL
20) lo.logic - How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example)

---