Robotics Innovation Center

PUBLICATIONS

In: 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC) January 17-20 2022.

To the publication

In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022) September 14-16 Linz Austria 2022.

To the publication

In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis (ATVA-2022) October 25-28 2022.

To the publication

In: RIOT Summit 2022. RIOT Summit 7th get-together of the friendly Operating System for the Internet of Things September 5-6 Hamburg Germany 2022.

To the publication

In: 3rd International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution September 15-16 London United Kingdom 2022.

To the publication

In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021) January 18-21 Tokyo Japan 2021.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021) February 1-5 Grenoble France 2021.

To the publication

In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021) December 5-9 San Francisco CA United States 2021.

To the publication

Contact

Main site in Bremen

Phone: +49 421 17845 0
Fax: +49 421 17845 4150


Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Germany

Subsidiary Office

Phone: +49 421 17845 0

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 5
28359 Bremen
Germany

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz