Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques | IEEE Conference Publication | IEEE Xplore