The following pages link to (Q4449220):
Displaying 7 items.
- 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)
- Choice logics and their computational properties (Q2082503) (← links)
- Model checking interval temporal logics with regular expressions (Q2182727) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- (Q5015270) (← links)
