Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
scientific article; zbMATH DE number 6944942
scientific article