Automated Planning with Induced Qualitative Models in Dynamic Robotic Domains. INF. 2021;45(3). doi:10.31449/inf.v45i3.3759