APA (7th ed.) Citation

Alwhishi, G., Bentahar, J., Andam, A., Elwhishi, A., & Hedabou, M. (2026). Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic. IEEE Transactions on Neural Networks and Learning Systems, Neural Networks and Learning Systems, IEEE Transactions on, IEEE Trans. Neural Netw. Learning Syst., 37(10), 5627-5641. https://doi.org/10.1109/TNNLS.2026.3683573

Chicago Style (17th ed.) Citation

Alwhishi, G., J. Bentahar, A. Andam, A. Elwhishi, and M. Hedabou. "Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic." IEEE Transactions on Neural Networks and Learning Systems, Neural Networks and Learning Systems, IEEE Transactions on, IEEE Trans. Neural Netw. Learning Syst. 37, no. 10 (2026): 5627-5641. https://doi.org/10.1109/TNNLS.2026.3683573.

MLA (9th ed.) Citation

Alwhishi, G., et al. "Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic." IEEE Transactions on Neural Networks and Learning Systems, Neural Networks and Learning Systems, IEEE Transactions on, IEEE Trans. Neural Netw. Learning Syst., vol. 37, no. 10, 2026, pp. 5627-5641, https://doi.org/10.1109/TNNLS.2026.3683573.