Maximilian Gerwien

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

First Order Logic

Quantifier Elimination

Particle Swarm Optimization

Stability Analysis

Top Venues

SN Comput. Sci.

Publications

Julius Fiedler, Maximilian Gerwien, Carsten Knoll
A Hybrid Tactical Decision-Making Approach in Automated Driving Combining Knowledge-Based Systems and Reinforcement Learning. ITSC (2022)
Maximilian Gerwien, Rick Voßwinkel, Hendrik Richter
Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination. SN Comput. Sci. 2 (1) (2021)
Maximilian Gerwien, Alexander Jungmann, Rick Voßwinkel
Towards Situation-Aware Decision-Making for Automated Driving. ICARA (2021)
Maximilian Gerwien, Rick Voßwinkel, Hendrik Richter
Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination. CoRR (2020)