Wendwosen Bellete Bedada

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Networked Control Systems

Top Venues

Publications

Wendwosen Bellete Bedada, Gianluca Palli
Real Time Collision Avoidance with GPU-Computed Distance Maps. CoRR (2024)
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada, Mahmoud Nabil, Lydia Asrat Zeleke, Abdollah Homaifar, Edward W. Tunstel
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints. CoRR (2022)
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada, Mahmoud Nabil, Lydia Asrat Zeleke, Abdollah Homaifar, Edward W. Tunstel
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints. SSCI (2022)
Ismayil Ahmadli, Wendwosen Bellete Bedada, Gianluca Palli
Deep Learning and OcTree-GPU-Based ICP for Efficient 6D Model Registration of Large Objects. HFR (2021)
Alessio Caporali, Wendwosen Bellete Bedada, Gianluca Palli
A Cyber-Physical System for Clothes Detection, Manipulation and Washing Machine Loading. ICPS (2021)
Wendwosen Bellete Bedada, Ismayil Ahmadli, Gianluca Palli
Robotized Laundry Manipulation With Appliance User Interface Interpretation. HFR (2021)
K. V. Lakshmi Narayana, Wendwosen Bellete Bedada, Kena Likassa Nefabas
Enhanced modified smith predictor for higher order stable processes. AFRICON (2017)
Wendwosen Bellete Bedada
Parametric linear time delay models and stability analysis for action-perception behavior of human subjects. AFRICON (2017)