Using deep reinforcement learning to search reachability properties in systems specified through graph transformation
Crossref DOI link: https://doi.org/10.1007/s00500-022-06815-4
Published Online: 2022-02-11
Published Print: 2022-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mehrabi, Mohammad Javad
Rafe, Vahid
Text and Data Mining valid from 2022-02-11
Version of Record valid from 2022-02-11
Article History
Accepted: 20 January 2022
First Online: 11 February 2022
Declarations
:
: The authors have not disclosed any competing interests.