HPRS: hierarchical potential-based reward shaping from task specifications - Berducci, Luigi; Aguilar, Edgar A.; Ničković, Dejan; Grosu, Radu (Frontiers in Robotics and AI, 2025)