Sign in
Anas Shrinah
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 3
Top Topics
Description Language
Domain Models
Knowledge Structures
Planning Problems
Top Venues
CoRR
STAIRS@ECAI
</>
Publications
</>
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)