Planning Approaches and Software Verification

This project aims at bridging the gap between automated planning techniques and formal methods that are used for software verification. Although close, these research areas continue to develop almost independently, led by different scientific communities: artificial intelligence for the former and theoretical computer science for the latter. Cross-fertilisation between these fields will result in the injection of new ideas into each of them and in the development of high-performance verification and planning tools beyond the present days capabilities of either of the two fields alone.