Author: "Tian, Jiaxu" / Journal: lecture notes in computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Tian, Jiaxu"' showing total 1 results

Start Over Author "Tian, Jiaxu" Journal lecture notes in computer science

1 results on '"Tian, Jiaxu"'

1. Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

Author: Jin, Peng, primary, Tian, Jiaxu, additional, Zhi, Dapeng, additional, Wen, Xuejun, additional, and Zhang, Min, additional
Published: 2022
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results