Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. - Simon Schwan; Paula Herber (WETICE, 2020)

Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach. - M. Baha E. Zarrouki; Verena Klös; Nikolas Heppner; Simon Schwan; Robert Ritschel; Rick Voßwinkel (ECC, 2021)

A Goal-Oriented Specification Language for Reinforcement Learning. - Simon Schwan; Verena Klös; Sabine Glesner (MDAI, 2023)

Iterative Environment Design for Deep Reinforcement Learning Based on Goal-Oriented Specification. - Simon Schwan; Sabine Glesner (ICAART (2), 2025)