Parametric runtime verification is NP-complete and coNP-complete
scientific article; zbMATH DE number 6706362