Simon Schwan

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Quantified Boolean Formulas

Obstacle Avoidance

Autonomous Vehicles

Top Venues

Publications

Simon Schwan, Verena Klös, Sabine Glesner
A Goal-Oriented Specification Language for Reinforcement Learning. MDAI (2023)
M. Baha E. Zarrouki, Verena Klös, Nikolas Heppner, Simon Schwan, Robert Ritschel, Rick Voßwinkel
Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach. ECC (2021)
Simon Schwan, Paula Herber
Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. WETICE (2020)