Page Content
to Navigation
VeriCon
- © N/A
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 |