Using deep reinforcement learning to search reachability properties in systems specified through graph transformation.
Saved in:
| Title: | Using deep reinforcement learning to search reachability properties in systems specified through graph transformation. |
|---|---|
| Authors: | Mehrabi, Mohammad Javad1, Rafe, Vahid1, v-rafe@araku.ac.ir |
| Source: | Soft Computing - A Fusion of Foundations, Methodologies & Applications; Sep2022, Vol. 26 Issue 18, p9635-9663, 29p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14327643 |
|---|---|
| DOI: | 10.1007/s00500-022-06815-4 |
