-
of Computation, Information and Technology (CIT), located on the Garching Campus, starting October 01, 2025 or later. The group is seeking a highly qualified candidate for a postdoctoral position who possesses
-
that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but
Searches related to computional geometry algorithm
Enter an email to receive alerts for computional-geometry-algorithm positions