Visible to the public BiblioConflict Detection Enabled

Filters: Author is Astrid Rakow  [Clear All Filters]
2021-08-13
Willem Hagemann, Astrid Rakow, Maike Schwammberger.  2021.  Integrierte soziotechnische Modelle zur Konfliktlösung (Integrated socio-technical models for conflict resolution).
summer 2021 term
2021-08-12
Klaus Bengler, Bianca Biebl, Werner Damm, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Luedtke et al..  2021.  A Metamodel of Human Cyber Physical Systems. Working Document of the PIRE Project on Assuring Individual, Social, and Cultural Embeddedness of Autonomous Cyber-Physical Systems (ISCE-ACPS). :41.
2021-08-11
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow.  2019.  Dynamic Conflict Resolution Using Justification Based Reasoning. Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology. 308:47–65.
2019-08-21
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow.  2019.  Justification Based Reasoning in Dynamic Conflict Resolution. 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology.

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 local perception.
We distinguish several types of conflicts for this setting. In order to enable modelling of conflict situations and the reasons for conflicts, we present a logical framework that adopts concepts from epistemic and modal logic, justification and temporal logic. Using this framework, we illustrate how conflicts can be identified and how we derive a chain of justifications leading to this conflict. We discuss how conflict resolution can be done when a vehicle has local, incomplete information, vehicle to vehicle communication (V2V) and partially ordered goals.

2018-09-30
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow.  2018.  A Formal Semantics for Traffic Sequence Charts. Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. :182–205.
Werner Damm, Stephanie Kemper, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow.  2018.  Traffic Sequence Charts - A Visual Language for Capturing Traffic Scenarios. Embedded Real Time Software and Systems - ERTS2018.