Slicing-Based Task Offloading in Space-Air-Ground Integrated Vehicular Networks | Synapse