Abstract: This letter addresses the security-based path planning of multi-robot systems with Boolean specification tasks. Specifically, we consider the existence of an external intruder that is ...