Edelkamp, Stefan, and Malte Helmert. 2001. “MIPS: The Model-Checking Integrated Planning System”. AI Magazine 22 (3):67. https://doi.org/10.1609/aimag.v22i3.1574.