Release for the Cyber-physical systems (CPS) testing competition, organized as part of the SBFT workshop at ICSE 2023. The main changes include:
- new model generator for BeamNG.tech system that accounts for steering angle
- minimization algorithm for generated test cases