Presentation of research results at the ESSCIRC2014 conference in Venice. Photograph: IMMS.
Presentation of research results at the ESSCIRC2014 conference in Venice. Photograph: IMMS.

IntelligEnt – Künstliche Intelligenz und Machine Learning für den Entwurf und die Verifikation komplexer Systeme

Martin Grabmann1. Georg Gläser1.

Thüringer Forum Künstliche Intelligenz, 24. Mai 2019, Erfurt, comcenter Brühl.

1IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH, 98693 Ilmenau, Germany.