3 papers
cs.RO2025
Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator
Anas Shrinah, Kerstin Eder
Simulation-based testing provides a safe and cost-effective environment for verifying the safety of Uncrewed Aerial Vehicles (UAVs). However, simulation can be resource-consuming,…
cs.RO2024
On the Design of Human-Robot Collaboration Gestures
Anas Shrinah, Masoud S. Bahraini, Fahad Khan +3
Effective communication between humans and collaborative robots is essential for seamless Human-Robot Collaboration (HRC). In noisy industrial settings, nonverbal communication, su…
cs.AI2018
Goal-constrained Planning Domain Model Verification of Safety Properties
Anas Shrinah, Kerstin Eder
The verification of planning domain models is crucial to ensure the safety, integrity and correctness of planning-based automated systems. This task is usually performed using mode…