conf.researchr.org / Hadiza Yusuf
Registered user since Mon 17 Mar 2025
Name:Hadiza Yusuf
Country:United States
Affiliation:University of Michigan - Dearborn
GitHub: https://github.com/Hadex-Pearl
Research interests:Machine Learning, Application of Artificial Intelligence, Cyber Physical Systems, Software Verification
Contributions
2025
CAIN
- Author of Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems within the Posters -track
- Author of Model-Based Verification for AI-Enabled Cyber-Physical Systems through Guided Falsification of Temporal Logic Properties within the Doctoral Symposium-track