Home > Authors > Omri Isac > Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Recent activity

Rate this book to see your activity here.

1 Book Similar to Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac

Bookscovery readers who liked Software Verification and Formal Methods for ML-Enabled Autonomous Systems also like AI Verification. How many of these have you read?

AI Verification by Guy Avni

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 Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Please sign in to leave a comment