Academic Journal
Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic
| Τίτλος: | Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic |
|---|---|
| Συγγραφείς: | Alwhishi, G., Bentahar, J., Andam, A., Elwhishi, A., Hedabou, M. |
| Πηγή: | IEEE Transactions on Neural Networks and Learning Systems IEEE Trans. Neural Netw. Learning Syst. Neural Networks and Learning Systems, IEEE Transactions on. 37(10):5627-5641 Oct, 2026 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISSN: | 2162237X 21622388 |
|---|---|
| DOI: | 10.1109/TNNLS.2026.3683573 |