A Formal Approach Combining Event-B and PDDL for Planning Problems.

Sabrine Ammar, Mohamed Tahar Bhiri

Browse the full ICSoft paper archive.