Pages that link to "Item:Q1401306"
From MaRDI portal
The following pages link to On the expressivity and complexity of quantitative branching-time temporal logics (Q1401306):
Displaying 16 items.
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- Simple interpretations among complicated theories (Q923068) (← links)
- Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
- Model checking MASL specification of distributed real-time systems (Q946007) (← links)
- Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables (Q1623150) (← links)
- A branching time temporal framework for quantitative reasoning (Q1810854) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- The power of first-order quantification over states in branching and linear time temporal logics (Q2390310) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← 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)
- (Q4475142) (← links)
- (Q4508400) (← links)
