Werner Damm

Identifiers

• name variant Werner Damm 0.60 · backfill

Papers (4)

1. Justification Based Reasoning in Dynamic Conflict Resolution cs.MA · 2019 · author #1
2. Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic cs.HC · 2019 · author #1
3. What You Really Need To Know About Your Neighbor cs.LO · 2016 · author #1
4. Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata cs.LO · 2016 · author #1

Mentions

• 1611.07621 #1 · arxiv_oai · confidence 0.70 Werner Damm

Frequent Coauthors

• Astrid Rakow 2 shared papers
• Martin Fr\"anzle 2 shared papers
• Alexander Trende 1 shared papers
• Andreas L\"udtke 1 shared papers
• Anirudh Unni 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Jochem W. Rieger 1 shared papers
• Matthias Horbach 1 shared papers
• Paul Kr\"oger 1 shared papers
• Viorica Sofronie-Stokkermans 1 shared papers
• Willem Hagemann 1 shared papers