TU Berlin

Neural Information ProcessingVeriCon: Strategic Development and Extension of the Verification Context of Automated People and Object Counting Systems

Neuronale Informationsverarbeitung

Page Content

to Navigation

VeriCon

Lupe

Strategic Development and Extension of the Verification Context of Automated People and Object Counting Systems

In this project, systems for automated counting of people and objects in regional transportation are examined, extended and verified. Along with mathematical definitions of formal requirements for such systems, the project focuses on the development of hardware prototypes and new algorithms. New solution strategies such as supervised deep learning and neural networks for time series are considered.

Acknowledgements: This project is funded by the European Regional Development Fund.

 

Duration:
01.05.2019 - 30.04.2021
Project partner A:
Interautomation Deutschland GmbH
Project partner B:
Technische Universität Berlin
Institut für Mathematik
Straße des 17. Juni 136
10623 Berlin

Office MA 6-4
Petra Grimberger
Room MA 674

Tel.: +49 30 314 - 25651
Fax.: +49 30 314 - 21110
Project partner C:
Technische Universität Berlin
Institute of Software Engineering and Theoretical Computer Science
Neural Information Processing
Marchstraße 23
10587 Berlin

Office MAR 5-6
Camilla Groiß
Room MAR 5.042

Tel.: +49 30 314 - 73442
Fax.: +49 30 314 - 73121

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe