Publications

Khalifa, Duoaa, Nadya Abdel Madjid, and Davor Svetinovic. "Trust requirements in blockchain systems: a preliminary study." In 2019 Sixth International Conference on Software Defined Systems (SDS), pp. 310-313. IEEE, 2019.

Khonji, Majid, and Duoaa Khalifa. "Heuristic search in dual space for constrained fixed-horizon POMDPs with durative actions." In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 12, pp. 14927-14936. 2023.