Anas Shrinah

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 4

Top Topics

Planning Problems

Top Venues

Publications

Anas Shrinah, Masoud S. Bahraini, Fahad Khan, Seemal Asif, Niels Lohse, Kerstin Eder
On the Design of Human-Robot Collaboration Gestures. CoRR (2024)
Anas Shrinah, Derek Long, Kerstin Eder
D-VAL: An automatic functional equivalence validation tool for planning domain models. CoRR (2021)
Anas Shrinah, Kerstin Eder
Goal-constrained planning domain model verification of safety properties. STAIRS@ECAI (2020)
Anas Shrinah, Kerstin Eder
Verification of Planning Domain Models - Revisited. CoRR (2018)