Sabrine Ammar, Mohamed Tahar Bhiri. A Formal Approach Combining Event-B and PDDL for Planning Problems. In Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Online Streaming, July 6-8, 2021. pages 261-268, SCITEPRESS, 2021. [doi]
Abstract is missing.