Automated Planning With Induced Qualitative Models in Dynamic Robotic Domains. INF 2021, 45 (3). https://doi.org/10.31449/inf.v45i3.3759.