Libya
Canada
University of Benghazi
Concordia University Montreal
LLMs, Reinforcement Learning, Temporal Logics, CTL, Systems Verification
Large language models, Reinforcement learning, Knowledge-Based Systems, temporal logic, Formal Verification
