Intelligence, IJCAI 1979, Tokyo, Japan, 1979, pp. 301–307.
[37] F. Geißer, T. Keller, R. Mattmüller, Abstractions for planning with state-dependent action costs, in: Proceedings of the 26th International Conference on 
Automated Planning and Scheduling, ICAPS 2016, London, UK, 2016, pp. 140–148.
[38] F. Giunchiglia, A. Villaﬁorita, T. Walsh, Theories of abstraction, AI Commun. 10 (1997) 167–176.
[39] F. Giunchiglia, T. Walsh, A theory of abstraction, Artif. Intell. 57 (1992) 323–389.
[40] S.G. Govindaraju, D.L. Dill, Veriﬁcation by approximate forward and backward reachability, in: Proceedings of the 1998 IEEE/ACM International Confer-
[41] P. Gregory, D. Long, M. Fox, J.C. Beck, Planning modulo theories: extending the planning paradigm, in: Proc. 22nd International Conference on Auto-
[42] P. Gregory, D. Long, C. McNulty, S.M. Murphy, Exploiting path reﬁnement abstraction in domain transition graphs, in: Proceedings of the 25th AAAI
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen