Verification of Planning Domain Models - Revisited. - Anas Shrinah; Kerstin Eder (CoRR, 2018)

Goal-constrained planning domain model verification of safety properties. - Anas Shrinah; Kerstin Eder (STAIRS@ECAI, 2020)

D-VAL: An automatic functional equivalence validation tool for planning domain models. - Anas Shrinah; Derek Long; Kerstin Eder (CoRR, 2021)

On the Design of Human-Robot Collaboration Gestures. - Anas Shrinah; Masoud S. Bahraini; Fahad Khan; Seemal Asif; Niels Lohse; Kerstin Eder (CoRR, 2024)

Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator. - Anas Shrinah; Kerstin Eder (CoRR, 2025)