1 paper
Hamied Nabizada, Thomas Wirt, Luis Miguel Vieira da Silva +2
Engineers designing production systems need to verify that a given layout supports all required production sequences. Automated planning techniques can answer such questions, but f…