{"_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","bibtex":"@article{1202,\n author = {Matthew Landers and Afsaneh Doryab},\n title = {Deep Reinforcement Learning Verification: A Survey},\n year = {2023}\n}\n\n","author_short":["Landers, M.","Doryab, A."],"key":"1202","id":"1202","bibbaseid":"landers-doryab-deepreinforcementlearningverificationasurvey-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/QuW9NyeKMp6Cj3mam/Link_Lab_Publications.bib","dataSources":["GXL8BuKffZ6XGRvhu","zTwdZBrCqogZ6yMmD","A9Zuq8B85Rd3bHeNs","zq8E4CA9zBjkA2p7P","b7zvHnuSqhTvwNoon","BE493TFz6wWiE9NkC","BT3X3GwZkCpNDfran","6CYcgzsh5rhZhtcXe","wjuM2yjE6FYvwqbTY","oMqgPf8XFXWogdmsL","DesgNCELw9F4LSokr","WCSuxR2upo4FXxxRm","JSGNr3KwokFPgXiz5","RbCkvcfqfbgtxTyNT","mwAui9iKniQyhTc49","m6hDbtiptxFxNGk8y","Kg2u32BaLYeEZkT9t"],"keywords":[],"search_terms":["deep","reinforcement","learning","verification","survey","landers","doryab"],"title":"Deep Reinforcement Learning Verification: A Survey","year":2023}