2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Context-aware, Ante-hoc Explanations of Driving Behaviour
Dominik Grundt, Ishan Saxena, Malte Petersen +2
Autonomous vehicles (AVs) must be both safe and trustworthy to gain social acceptance and become a viable option for everyday public transportation. Explanations about the system b…
cs.SE2015★ 2 cited
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems
Eike Möhlmann, Oliver Theel
Abstraction and refinement is widely used in software development. Such techniques are valuable since they allow to handle even more complex systems. One key point is the ability t…