Conference
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning
| Τίτλος: | Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning |
|---|---|
| Συγγραφείς: | Hu, Ming, Ding, Jiepin, Zhang, Min, Mallet, Frederic, Chen, Mingsong |
| Πηγή: | 2021 IEEE Real-Time Systems Symposium (RTSS) RTSS Real-Time Systems Symposium (RTSS), 2021 IEEE. :227-239 Dec, 2021 |
| Relation: | 2021 IEEE Real-Time Systems Symposium (RTSS) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781665428026 |
|---|---|
| ISSN: | 25763172 |
| DOI: | 10.1109/RTSS52674.2021.00030 |