Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods
2024
Dissertation
169 p.
Ride Parcel Pooling -- Sustainable Integration of Parcel Services into Mobility on-Demand Systems
2024
Dissertation
216 p.
Integrating Demand-Side Flexibility of Residential Heat Pumps for Smart and Sustainable Energy Consumption
2024
Dissertation
106 p.
Modeling and Identification for Formally Safe Human-Robot Interaction
2024
Dissertation
103 p.
Qualitätssicherung bei der Additiven Fertigung mit Draht und Lichtbogen
2024
Dissertation
115 p.
Investigation of Ammonia as Fuel for High-Pressure Direct Injection Combustion
2024
Dissertation
167 p.
Messsystem zur Charakterisierung von LiDAR-Scaneinheiten für Autonomes Fahren
2024
Dissertation
165 p.
Variable Impedance Control for Compliant Robot Interactions: An Approach Based on Energy tanks, Learning from Demonstration, and Dynamical Systems
2024
Dissertation
201 p.