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]
@inproceedings{FouratiBR22,
title = {Xtend Transformation from PDDL to Event-B},
author = {Farah Fourati and Mohamed Tahar Bhiri and Riadh Robbana},
year = {2022},
doi = {10.1007/978-3-031-16014-1_50},
url = {https://doi.org/10.1007/978-3-031-16014-1_50},
researchr = {https://researchr.org/publication/FouratiBR22},
cites = {0},
citedby = {0},
pages = {638-644},
booktitle = {Computational Collective Intelligence - 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28-30, 2022, Proceedings},
editor = {Ngoc Thanh Nguyen and Yannis Manolopoulos and Richard Chbeir and Adrianna Kozierkiewicz and Bogdan Trawinski},
volume = {13501},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-16014-1},
}