102 citations · 166 across the 10 of their papers we have counts for
1 paper · 1 filter
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…