Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on ...

This paper proposes a new Binary Crayfish Optimization Algorithm (BinCOA) for feature selection. The Crayfish Optimization Algorithm (COA) is a new metaheuristic algorithm inspired by the simulation ...