The following pages link to (Q4508400):
Displaying 10 items.
- On the expressivity and complexity of quantitative branching-time temporal logics (Q1401306) (← links)
- A branching time temporal framework for quantitative reasoning (Q1810854) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- The power of first-order quantification over states in branching and linear time temporal logics (Q2390310) (← links)
- First-order logics of braching time: on expressive power of temporal operators (Q2856051) (← links)
- QBF Encoding of Temporal Properties and QBF-Based Verification (Q3192192) (← links)
- Augmenting branching temporal logics with existential quantification over atomic propositions (Q4242583) (← links)
- (Q4475142) (← links)
- Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic (Q4639929) (← links)