Verification, validation, and testing of complex cyber-physical systems, such as autonomous vehicles, have traditionally relied on document-intensive processes and physical prototypes. However, ...