Edelkamp, S., & Helmert, M. (2001). MIPS: The Model-Checking Integrated Planning System. AI Magazine, 22(3), 67. https://doi.org/10.1609/aimag.v22i3.1574