research
∙
07/05/2023
Safety Shielding under Delayed Observation
Agents operating in physical environments need to be able to handle dela...
share
research
∙
05/31/2023
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)
We compare games under delayed control and delay games, two types of inf...
research
∙
11/03/2022
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach
In this paper, we propose an approach how connected and highly automated...
research
∙
07/14/2022
Verification of Sigmoidal Artificial Neural Networks using iSAT
This paper presents an approach for verifying the behaviour of nonlinear...
research
∙
10/31/2019
Dynamic Conflict Resolution Using Justification Based Reasoning
We study conflict situations that dynamically arise in traffic scenarios...
research
∙
05/28/2019
Justification Based Reasoning in Dynamic Conflict Resolution
We study conflict situations that dynamically arise in traffic scenarios...
research
∙
02/13/2019
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic
In future mixed traffic Highly Automated Vehicles (HAV) will have to res...
research
∙
03/05/2018