Staff scheduling in restaurants where hall staff and robots cooperate. (7th January 2021)