30 citations · 30 across the 4 of their papers we have counts for
4 papers
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada +4
Generating unsafe sub-requirements from a partitioned input space to support verification-guided test cases for formal verification of black-box models is a challenging problem for…
Stitching Dynamic Movement Primitives and Image-based Visual Servo Control
Ghananeel Rotithor, Iman Salehi, Edward Tunstel +1
Utilizing perception for feedback control in combination with Dynamic Movement Primitive (DMP)-based motion generation for a robot's end-effector control is a useful solution for m…
A Clustering-based Framework for Classifying Data Streams
Xuyang Yan, Abdollah Homaifar, Mrinmoy Sarkar +2
The non-stationary nature of data streams strongly challenges traditional machine learning techniques. Although some solutions have been proposed to extend traditional machine lear…
On the Philosophical, Cognitive and Mathematical Foundations of Symbiotic Autonomous Systems (SAS)
Yingxu Wang, Fakhri Karray, Sam Kwong +12
Symbiotic Autonomous Systems (SAS) are advanced intelligent and cognitive systems exhibiting autonomous collective intelligence enabled by coherent symbiosis of human-machine inter…