Priority-based state machine synthesis that relaxes behavior design of multi-arm manipulators in dynamic environments. (4th March 2023)