Using Game Engines and Machine Learning to Create Synthetic Satellite Imagery for a Tabletop Verification Exercise. - Johannes Hoster; Sara Al-Sayed; Felix Biessmann; Alexander Glaser; Kristian Hildebrand; Igor Moric; Tuong Vy Nguyen (CoRR, 2024)