Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 1 of 119.

Philip Reichenberg; Thomas Röfer
Dueling Behavior Leveraging Advanced Motion Control for the NAO Robot
In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.
Thomas Röfer
CABSL 2 – Specification Language for Complex Behaviors
In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Prof. Dr. Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.
Chandan Jha; Sallar Ahmadi-Pour; Sajjad Parvin; Rolf Drechsler
DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization
In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-7, Pune, India, 2026.
Christian Mandel; Jan Janssen; Maria Angelica Lopez-Ardila; Serge Autexier
Smart Wheelchair with Semi- and Fully Autonomous Navigation
In: Proceedings of the 41st CSUN Assistive Technology Conference. CSUN Assistive Technology Conference (ATC-2026), March 9-13, Anaheim, USA, 2026.
Saeideh Nabipour; Kamalika Datta; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler
Memristor-Based In-Memory Logic Design Styles for Neuromorphic and AI Computing
In: Sébastien Ziegler; Renáta Radócz; Adrian Quesada Rodriguez; Sara Nieves Matheu Garcia. Springer Nature Handbook of Industrial Internet of Things. Springer, 2026.
Mohamed Nadeem; Chandan Jha; Rolf Drechsler
PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing
In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-4, Pune, India, 2026.
Anna Bernasconi; Valentina Ciriani; Gianmarco Cuciniello; Caroline Dominik; Rolf Drechsler
Polynomial Verification of 2-Affine Spaces
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, o.A:, 2026.
Jan Zielasko; Rolf Drechsler
Identifying Hardware Optimizations for Neural Network Inference using Virtual Prototypes
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.
Mohamed Nadeem; Chandan Jha; Rolf Drechsler
Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.
Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler
Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.