ARTICLE
|
doi:10.20944/preprints202310.1862.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
RL; safety constraint; linear temporal logic; formal verification
Online: 30 October 2023 (08:25:05 CET)