Computer Aided Verification

Bibliography

1. AI based Robot Safe Learning and Control I recommend this book...
2. An Introduction to Ethics in Robotics and AI I recommend this book...
3. Artificial Intelligence for a Better Future An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies...
4. Artificial Intelligence in Oncology Drug Discovery and Development I recommend this book...
5. Automated Machine Learning – Methods, Systems, Challenges I recommend this book...
6. Brain-Inspired Computing 4th International Workshop, BrainComp 2019...
7. Deterministic Artificial Intelligence I recommend this book...
8. Dynamic Spectrum Management – From Cognitive Radio to Blockchain and Artificial Intelligence I recommend this book...
9. Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021...
10. Cultures of Computer Game Concerns This book specificaly discused Cultures of Computer Game Concerns....
11. Internet of Things – Information Processing in an Increasingly Connected World A book you may need...
12. Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018...
13. Knowledge Graphs and Big Data Processing A book you may need...
14. Trust God Bible Quotes This book contains Trust God Bible Quotes...
15. Inspirational Quotes from the Bible This book contains Christian Inspirational Quotes from the Bible...
16. Making AI Intelligible – Philosophical Foundations Another good Book for you...
17. SOCIAL SCIENCE RESEARCH: PRINCIPLES, METHODS, AND PRACTICES This book is designed to introduce doctoral and graduate students to the process of scientific research in the social sciences, business, education, public health, and related disciplines. This book is based on...
18. Bible Quotes Related to the Priesthood This book contains Bible Quotes Related to the Priesthood....
19. Challenging the Dichotomy – The Licit and the Illicit in Archaeological and Heritage Discourses A book you may need...
20. Land Use and Food Security in 2050 – A Narrow Road Best Book...