Latticed-LTL synthesis in the presence of noisy inputs
scientific article; zbMATH DE number 6805733
scientific article