Lukas Westhofen (Preferred)
Lukas Westhofen
PhD student, Institute of Systems Engineering for Future Mobility, German Aerospace Center (DLR)
Joined
July 2024
Names
Emails
****@dlr.de (Confirmed)
Personal Links
Career & Education History
PhD student
Institute of Systems Engineering for Future Mobility, German Aerospace Center (DLR) (dlr.de)
2022 – Present
PhD student
Transportation, OFFIS e.V. (offis.de)
2019 – 2021
Advisors, Relations & Conflicts
Expertise
Description Logics
Present
Temporal Logics
Present
Automated Driving
Present
Formal Methods
Present
Publications
Co-Authors
- Ahmad Adee
- Axel Hahn
- Barbara Schütt
- Benjamin Lucien Kaminski
- Birte Kramer
- Christian Dehnert
- Christian Gutenkunst
- Christian Neurohr
- Daniel Neider
- Dominik Grundt
- Eckard Böde
- Eike Möhlmann
- Fabian Utesch
- Franziska Körtke
- Hendrik Weber
- Jan Steffen Becker
- Jean Christoph Jung
- Johannes Hiller
- Joost-Pieter Katoen
- Julian Bock
- Katrin Lotto
- Lara Ruth Turner
- Lina Putze
- Lutz Eckstein
- Maike Scholtes