Skip to main content Skip to main navigation

Project | IGEL

Duration:
Sicherer Kegelscanner

Sicherer Kegelscanner

Research Topics

Application fields

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

Publications about the project

  1. 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.…

Sponsors

BMBF - Federal Ministry of Education and Research

01IS09044B

BMBF - Federal Ministry of Education and Research