Publications (30)
On the Hitting Probability of Max-Stable Processes
Martin Hofmann
The probability that a max-stable process η in C[0, 1] with identical marginal distribution function F hits x \in R with 0 < F (x) < 1 is the hitting probability of x. We show tha…
Unleashing HyDRa: Hybrid Fusion, Depth Consistency and Radar for Unified 3D Perception
Philipp Wolters, Johannes Gilg, Torben Teepe +4
Low-cost, vision-centric 3D perception systems for autonomous driving have made significant progress in recent years, narrowing the gap to expensive LiDAR-based methods. The primar…
Analytical characterization of the genuine multiparticle negativity
Martin Hofmann, Tobias Moroder, Otfried Gühne
The genuine multiparticle negativity is a measure of genuine multiparticle entanglement which can be computed numerically. We present several results how this entanglement measure…
Büchi Types for Infinite Traces and Liveness
Martin Hofmann, Wei Chen
We develop a new type and effect system based on Büchi automata to capture finite and infinite traces produced by programs in a small language which allows non-deterministic choic…
On the Reflection Type Decomposition of the Adjoint Reduced Phase Space of a Compact Semisimple Lie group
Martin Hofmann, Gerd Rudolph, Matthias Schmidt
We consider a system with symmetries whose configuration space is a compact Lie group, acted upon by inner automorphisms. The classical reduced phase space of this system decompose…
Artificial Intelligence and Data Science in the Automotive Industry
Martin Hofmann, Florian Neukart, Thomas Bäck
Data science and machine learning are the key technologies when it comes to the processes and products with automatic learning and optimization to be used in the automotive industr…