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 |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://resolver.ebsco.com/c/fiv2js/result?sid=EBSCO:edseee&genre=article&issn=2162237X&ISBN=&volume=37&issue=10&date=20261001&spage=5627&pages=5627-5641&title=IEEE Transactions on Neural Networks and Learning Systems, Neural Networks and Learning Systems, IEEE Transactions on, IEEE Trans. Neural Netw. Learning Syst.&atitle=Scalable%20and%20Efficient%20Deep%20Reinforcement%20Learning-Based%20Model%20Checker%20for%20Computation%20Tree%20Logic&aulast=Alwhishi%2C%20G.&id=DOI:10.1109/TNNLS.2026.3683573 Name: Full Text Finder (for New FTF UI) (ns324271) Category: fullText Text: Full Text Finder MouseOverText: Full Text Finder |
|---|---|
| Header | DbId: edseee DbLabel: IEEE Xplore Digital Library An: edseee.11489026 RelevancyScore: 1163 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 1162.99951171875 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Alwhishi%2C+G%2E%22">Alwhishi, G.</searchLink><br /><searchLink fieldCode="AR" term="%22Bentahar%2C+J%2E%22">Bentahar, J.</searchLink><br /><searchLink fieldCode="AR" term="%22Andam%2C+A%2E%22">Andam, A.</searchLink><br /><searchLink fieldCode="AR" term="%22Elwhishi%2C+A%2E%22">Elwhishi, A.</searchLink><br /><searchLink fieldCode="AR" term="%22Hedabou%2C+M%2E%22">Hedabou, M.</searchLink> – Name: TitleSource Label: Source Group: Src Data: 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 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.11489026 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/TNNLS.2026.3683573 PhysicalDescription: Pagination: PageCount: 15 StartPage: 5627 Titles: – TitleFull: Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Alwhishi, G. – PersonEntity: Name: NameFull: Bentahar, J. – PersonEntity: Name: NameFull: Andam, A. – PersonEntity: Name: NameFull: Elwhishi, A. – PersonEntity: Name: NameFull: Hedabou, M. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 2162237X – Type: issn-print Value: 21622388 – Type: issn-locals Value: edseee.IEEEJournals Numbering: – Type: volume Value: 37 – Type: issue Value: 10 Titles: – TitleFull: IEEE Transactions on Neural Networks and Learning Systems, Neural Networks and Learning Systems, IEEE Transactions on, IEEE Trans. Neural Netw. Learning Syst. Type: main |
| ResultId | 1 |