GitHub repository: ClaasRostock/stgem
Description: Requirement Falsification for Cyber Physical Systems using Generative Models