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):
Displayed 6 items.
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
- Model checking MASL specification of distributed real-time systems (Q946007) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)