MPG.eBooks - Search Results - "Machine learning"

Cover Image

1

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

by Shoham, Sharon
Published 2022

Springer Nature

“... and decision procedures; machine learning; synthesis and concurrency. This is an open access book....”

Cover Image

2

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

by Shoham, Sharon
Published 2022

Springer Nature

“... and decision procedures; machine learning; synthesis and concurrency. This is an open access book....”