The following pages link to Alberto Molinari (Q329411):
Displaying 13 items.
- Checking interval properties of computations (Q329413) (← links)
- Constraining cycle alternations in model checking for interval temporal logic (Q737106) (← links)
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Timeline-based planning over dense temporal domains (Q1989337) (← links)
- Model checking interval temporal logics with regular expressions (Q2182727) (← links)
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
- (Q3384161) (← links)
- (Q3384890) (← links)
- Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison (Q4636573) (← links)
- Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption (Q5111452) (← links)
- (Q5351958) (← links)
