Upper Bounding Diameters of State Spaces of Factored Transition Systems. - Friedrich Kurz; Mohammad Abdulaziz (Arch. Formal Proofs, 2018)

Verified SAT-Based AI Planning. - Mohammad Abdulaziz; Friedrich Kurz (Arch. Formal Proofs, 2020)

Formally Verified SAT-Based AI Planning. - Mohammad Abdulaziz; Friedrich Kurz (AAAI, 2023)