Westhofen, Lukas

1. 6-Layer Model for a Structured Description and Categorization of Urban\n Traffic and Environment
   2020/12/09 by Maike Scholtes, Lukas Westhofen, Scholtes, Maike +25 · 6 citations
   Engineering · Psychology · #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Human-Automation Interaction and Safety #Other Computer Science (cs.OH) #Software Engineering (cs.SE) #Vehicle emissions and performance
2. Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
   2022/05/03 by Westhofen, Lukas, Neurohr, Christian, Butz, Martin +2 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Bounded Model Checking for Probabilistic Programs
   2016/05/14 by Jansen, Nils, Dehnert, Christian, Kaminski, Benjamin Lucien +2 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
4. Fundamental Considerations around Scenario-Based Testing for Automated\n Driving
   2020/05/08 by Christian Neurohr, Lukas Westhofen, Neurohr, Christian +9 · 1 citation
   Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
5. SymX: Energy-based Simulation from Symbolic Expressions
   2023/02/22 by Fernández-Fernández, José Antonio, Löschner, Fabian, Westhofen, Lukas +2 · 2 citations
   #Computational Engineering #FOS: Computer and information sciences #Finance #Graphics (cs.GR) #and Science (cs.CE)
6. Grasping Causality for the Explanation of Criticality for Automated Driving
   2022/10/27 by Tjark Koopmann, Christian Neurohr, Koopmann, Tjark +9 · 2 citations
   Computer Science · Decision Sciences · Psychology · #Applications (stat.AP) #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Data Quality and Management #FOS: Computer and information sciences #Human-Automation Interaction and Safety
7. On Quantification for SOTIF Validation of Automated Driving Systems
   2023/04/20 by Putze, Lina, Westhofen, Lukas, Koopmann, Tjark +2 · 1 citation
   #FOS: Computer and information sciences #Robotics (cs.RO)