Lothar Kiltz

Lothar Kiltz publishes mostly in Control and Systems Engineering, Computational Theory and Mathematics and Mechanical Engineering, on topics such as Formal Methods in Verification, Advanced Multi-Objective Optimization Algorithms and Robotic Path Planning Algorithms.