Anas Shrinah

According to our database, Anas Shrinah authored at least 4 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Design of Human-Robot Collaboration Gestures.

Anas Shrinah, Masoud S. Bahraini, Fahad Khan, Seemal Asif, Niels Lohse, Kerstin Eder

CoRR, 2024

2021

D-VAL: An automatic functional equivalence validation tool for planning domain models.

Anas Shrinah, Derek Long, Kerstin Eder

CoRR, 2021

2020

Goal-constrained planning domain model verification of safety properties.

Anas Shrinah, Kerstin Eder

Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

2018

Verification of Planning Domain Models - Revisited.

Anas Shrinah, Kerstin Eder

CoRR, 2018