Skip to main content Skip to main navigation

Project

IGEL

Sicherer Kegelscanner

Sicherer Kegelscanner

  • Duration:

In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an innovative scanner design and advanced environment monitoring and error detection algorithms.

Partners

Götting KG, Lehrte

Sponsors

BMBF - Federal Ministry of Education and Research

01IS09044B

BMBF - Federal Ministry of Education and Research

Share project:

Contact Person
Prof. Dr. Christoph Lüth
Prof. Dr. Christoph Lüth

Keyfacts

Publications about the project

Querying Proofs

David Aspinall; Ewen Denney; Christoph Lüth

In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, March 10-15, Merida, Venezuela, Pages 92-106, Lecture Notes in Computer Science (LNCS), Vol. 7180, Springer Verlag, Berlin Heidelberg, 2012.

To the publication