Sabrine Ammar, Mohamed Tahar Bhiri. Automatic Planning: From Event-B to PDDL. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 247-254, Springer, 2018. [doi]
Abstract is missing.