3 citations · 6 across the 5 of their papers we have counts for
5 papers
Dynamic Conflict Resolution Using Justification Based Reasoning
Werner Damm, Martin Fränzle, Willem Hagemann +2
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their l…
Justification Based Reasoning in Dynamic Conflict Resolution
Werner Damm, Martin Fränzle, Willem Hagemann +2
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their l…
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic
Werner Damm, Martin Fränzle, Andreas Lüdtke +3
In future mixed traffic Highly Automated Vehicles (HAV) will have to resolve interactions with human operated traffic. A particular problem for HAVs is detection of human states in…
What You Really Need To Know About Your Neighbor
Werner Damm, Bernd Finkbeiner, Astrid Rakow
A fundamental question in system design is to decide how much of the design of one component must be known in order to successfully design another component of the system. We study…
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We…