Skip to main content Skip to main navigation

Publications

Displaying results 3391 to 3400 of 14796.

  1. Thomas M. Roehr; Daniel Harnack; Hendrik Wöhrle; Felix Wiebe; Moritz Schilling; Oscar Lima; Malte Langosz; Shivesh Kumar; Sirko Straube; Frank Kirchner

    A Development Cycle for Automated Self-Exploration of Robot Behaviors

    In: AI Perspectives, Vol. 3, No. 1, n.n. 7/2021.

  2. André Antakl; Igor Vozniak; Nils Lipp; Matthias Klusch; Christian Müller

    HAIL: Modular Agent-Based Pedestrian Imitation Learning

    In: Proceedings of the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS). International Conference on Practical Applications of Intelligent Agents and Multiagents (PAAMS-2021), October 6-8, Salamanca/Hybrid, Spain, Springer, 2021.

  3. Lorena Hell; Janis Sprenger; Matthias Klusch; Yoshiyuki Kobayashi; Christian Müller

    Pedestrian Behavior in Japan and Germany: A Review

    In: Proceedings of the 32nd IEEE International Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2021), July 11-17, Nagoya/Virtual, Japan, IEEE, 2021.

  4. Mehmet Ege Cansev; Daniel Nordheimer; Elsa Andrea Kirchner; Philipp Beckerle

    Feel-Good Requirements: Neurophysiological and Psychological Design Criteria of Affective Touch for (Assistive) Robots

    In: Tom Ziemke (Hrsg.). Frontiers in Neurorobotics, Vol. 15, Frontiers, 7/2021.

  5. Sankaranarayanan Natarajan

    Learning initial trajectory using sequence-to-sequence approach to warm start an optimization-based motion planner

    In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2021), September 27 - October 1, Prague/Virtual, Czech Republic, 9/2021.

  6. Xiaotong Cui; Samah Mohamed Saeed; Alwin Zulehner; Robert Wille; Kaijie Wu; Rolf Drechsler; Ramesh Karri

    On the Difficulty of Inserting Trojans in Reversible Computing Architectures

    In: IEEE Transactions on Emerging Topics in Computing, Vol. 8, No. 4, Pages 960-972, IEEE, 2020.

  7. Manal Almutairi; Frederic Theodor Stahl; Max Bramer

    ReG-Rules: An Explainable Rule-based Ensemble Learner for Classification

    In: IEEE Access, Vol. 4, No. 2016, Pages 1-22, IEEE Xplore, Piscataway, New Jersey, 2/2021.

  8. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

    In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.

  9. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

    Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

    In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.

  10. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    VP-based DIFT for Embedded Binaries: A RISC-V Case Study

    In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.

Year

More options