Home > Authors > Changliu Liu > Algorithms for Verifying Deep Neural Networks

Algorithms for Verifying Deep Neural Networks

Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett

Recent activity

Rate this book to see your activity here.

1 Book Similar to Algorithms for Verifying Deep Neural Networks by Changliu Liu

Bookscovery readers who liked Algorithms for Verifying Deep Neural Networks also like Social Interactions for Autonomous Driving. How many of these have you read?

Social Interactions for Autonomous Driving by Wenshuo Wang

Cover of Social Interactions for Autonomous Driving

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Algorithms for Verifying Deep Neural Networks

Please sign in to leave a comment