Edelkamp S, Helmert M. MIPS: The Model-Checking Integrated Planning System. AIMag [Internet]. 2001Sep.15 [cited 2024Apr.26];22(3):67. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1574