Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF

Open Webpage

Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan, Kaile Su

Published: 2025, Last Modified: 02 Mar 2026AAMAS 2025EveryoneRevisionsBibTeXCC BY-SA 4.0