Linear temporal logic vehicle routing with applications to multi‐UAV mission planning | Synapse