Scenic 2024: Advanced Topics Part 1

Overview of invoking external controllers and samplers from Scenic, especially using VerifAI to sample values for external parameters.

Part of the Scenic Workshop held at UC Santa Cruz in August 2024.