@article{1044,
  author = {Matthew Landers and Afsaneh Doryab},
  title = {Deep Reinforcement Learning Verification: A Survey},
  year = {2023},
  journal = {ACM computing surveys},
  url = {https://doi.org/10.1145/3596444}
}

{"_id":"yi63ZZcSZuqgyxjDF","bibbaseid":"landers-doryab-deepreinforcementlearningverificationasurvey-2023","author_short":["Landers, M.","Doryab, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Matthew"],"propositions":[],"lastnames":["Landers"],"suffixes":[]},{"firstnames":["Afsaneh"],"propositions":[],"lastnames":["Doryab"],"suffixes":[]}],"title":"Deep Reinforcement Learning Verification: A Survey","year":"2023","journal":"ACM computing surveys","url":"https://doi.org/10.1145/3596444","bibtex":"@article{1044,\n author = {Matthew Landers and Afsaneh Doryab},\n title = {Deep Reinforcement Learning Verification: A Survey},\n year = {2023},\n journal = {ACM computing surveys},\n url = {https://doi.org/10.1145/3596444}\n}\n\n","author_short":["Landers, M.","Doryab, A."],"key":"1044","id":"1044","bibbaseid":"landers-doryab-deepreinforcementlearningverificationasurvey-2023","role":"author","urls":{"Paper":"https://doi.org/10.1145/3596444"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/fFERMKNwKyHLsDPJ3/Link_Lab_Publications.bib","dataSources":["GXL8BuKffZ6XGRvhu","zTwdZBrCqogZ6yMmD","A9Zuq8B85Rd3bHeNs","zq8E4CA9zBjkA2p7P","b7zvHnuSqhTvwNoon","BE493TFz6wWiE9NkC","BT3X3GwZkCpNDfran","6CYcgzsh5rhZhtcXe","wjuM2yjE6FYvwqbTY","oMqgPf8XFXWogdmsL","DesgNCELw9F4LSokr","WCSuxR2upo4FXxxRm","JSGNr3KwokFPgXiz5","RbCkvcfqfbgtxTyNT","mwAui9iKniQyhTc49","m6hDbtiptxFxNGk8y","Kg2u32BaLYeEZkT9t","YgvS53ZWNjFkrzNS4","PbrtYBE4kqkc5ZtpJ"],"keywords":[],"search_terms":["deep","reinforcement","learning","verification","survey","landers","doryab"],"title":"Deep Reinforcement Learning Verification: A Survey","year":2023}