Skip to main content Skip to main navigation

Publications

Displaying results 941 to 950 of 3916.
  1. Gaussian Mixture Likelihood-based Adaptive MPC for Interactive Mobile Manipulators

    In: 2024 IEEE International Conference on Robotics and Automation (accepted for publication). IEEE International Conference on Robotics and Automation (ICRA-2024), March 13-17, Yokohama, Japan, IEEE, 2024.

  2. Wireless Industrial Communication and Control System: AI Assisted Blind Spot Detection-and-Avoidance for AGVs

    In: 3rd International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022). International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL-2022), October 24-26, Valletta, Malta, ISBN 978-989-758-612-5; ISSN: 2184-9285, SCITEPRESS–Science and Technology Publications, 2022.

  3. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  4. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  5. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  6. Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

    AI-Driven Software Engineering – The Role of Conceptual Modeling

    In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling (EMISAJ), Vol. 19, Pages 1-11, Gesellschaft für Informatik e.V. 2024.

  7. Feature Attributation Methods for Multivariate Time-Series Explainability in Remote Sensing

    In: IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium. IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2023), July 16-21, Pasadena, California, USA, Pages 5014-5017, IEEE Xplore, 10/2023.

  8. Melvin Chelli; Cédric Prigent; René Schubotz; Alexandru Costan; Gabriel Antoniu; Loïc Cudennec; Philipp Slusallek

    FEDGUARD: Selective Parameter Aggregation for Poisoning Attack Mitigation in Federated Learning

    In: Proceedings of the IEEE International Conference on Cluster Computing. IEEE International Conference on Cluster Computing (Cluster-2023), October 31 - November 3, Santa Fe, New Mexico, USA, IEEE, 2023.

  9. Linear Model Predictive Control for a planar free-floating platform: A comparison of binary input constraint formulations

    In: 17th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2023), October 18-20, Leiden, Netherlands, ESA, 2023.