Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana. Xtend Transformation from PDDL to Event-B. In Ngoc Thanh Nguyen, Yannis Manolopoulos, Richard Chbeir, Adrianna Kozierkiewicz, Bogdan Trawinski, editors, Computational Collective Intelligence - 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28-30, 2022, Proceedings. Volume 13501 of Lecture Notes in Computer Science, pages 638-644, Springer, 2022. [doi]
Abstract is missing.