1 citations · 1 across the 4 of their papers we have counts for
4 papers
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,…
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…
D-VAL: An automatic functional equivalence validation tool for planning domain models
Anas Shrinah, Derek Long, Kerstin Eder
This paper introduces an approach to validate the functional equivalence of planning domain models. Validating the functional equivalence of planning domain models is the problem o…
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…