default author photo

Jamal Bentahar

Khalifa University

Abu Dhabi

United Arab Emirates

  • Khalifa University

SCHOLARLY PAPERS

3

DOWNLOADS

108

TOTAL CITATIONS

0

Scholarly Papers (3)

Actions:
Email selected abstracts
1.

A Two-Sided Client-Server Matching Mechanism for Resilient Federated Learning

Number of pages: 13 Posted: 30 Jan 2025
Sani Umar, Ahmed Alagha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar and Hadi Otrok
Khalifa University, Concordia University, Khalifa University, Khalifa University, Khalifa University and Khalifa University
Downloads 87 (765,566)

Abstract:

Loading...

Federated learning, Data-Driven client selection, two-sided matching.

2.

Beyond String Matching in LLM-based NL-to-CTL Translation: Verifier-in-the-Loop Reinforcement Learning and Evaluation

Number of pages: 33 Posted: 03 Jun 2026
Ghalya Alwhishi and Jamal Bentahar
University of Benghazi and Khalifa University
Downloads 13 (1,571,455)

Abstract:

Loading...

LLMs, Reinforcement Learning, Temporal Logics, CTL, Systems Verification

3.

A Verifier-Grounded Knowledge-Based LLM Framework with Reinforcement Learning for Reliable NL-to-CTL Specification Generation

Number of pages: 29 Posted: 15 Jun 2026 Last Revised: 16 Jun 2026
Ghalya Alwhishi and Jamal Bentahar
University of Benghazi and Khalifa University
Downloads 8

Abstract:

Loading...

Large language models, Reinforcement learning, Knowledge-Based Systems, temporal logic, Formal Verification