Sign-In
Cart
Explainable and Verifiable AI for Critical Systems
Paperback
Publisher Price: $34.00
Publisher: Dr. Ant
Published: Dec 16 2025
Pages: 442
Weight: 1.29
Height: 0.90 Width: 6.00 Depth: 9.00
Language: English
The rapid advancement of artificial intelligence has unlocked unprecedented capabilities, promising to revolutionize industries and reshape our daily lives. However, as AI systems become increasingly integrated into safety-critical domains-from autonomous vehicles and medical diagnostics to aerospace and critical infrastructure-the imperative for their trustworthiness, reliability, and verifiability has never been greater. The potential consequences of AI failures in these high-stakes environments necessitate a paradigm shift beyond traditional performance metrics. We must move towards a future where AI systems offer not just accuracy, but demonstrable assurance of safety, robustness, and predictability.
This book aims to bridge the gap between the theoretical potential of AI and the practical demands of deploying it responsibly in safety-critical applications. It is written for advanced undergraduate and graduate students, as well as seasoned professionals and researchers, who seek to understand and implement the principles and methodologies for building trustworthy AI. Our target audience includes engineers and scientists working in fields where AI failures can have severe consequences, and who possess a foundational understanding of machine learning but require specialized knowledge in AI safety, formal methods, and transparency.
Throughout these pages, we will navigate the complex landscape of AI assurance, exploring how interpretability, causal inference, rigorous debugging, and formal verification techniques can be applied to AI systems. We will delve into the challenges of verifying complex models like neural networks, understanding hybrid systems, and ensuring the safety of AI components within control loops. Practical considerations, including the development of verification tools, the creation of certification workflows, and the crucial ethical dimensions, will also be addressed. Our objective is to equip readers with the theoretical knowledge and practical skills necessary to design, build, and certify dependable AI systems, fostering a new generation of AI practitioners who prioritize safety and trustworthiness alongside innovation.
Also in
General Computers
All Data Are Local: Thinking Critically in a Data-Driven Society
Loukissas, Yanni Alexander
Paperback
Comptia Network+ Certmike: Prepare. Practice. Pass the Test! Get Certified!: Exam N10-008
Zacker, Craig
Chapple, Mike
Paperback
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Castéran, Pierre
Bertot, Yves
Hardcover
Seven Databases in Seven Weeks: A Guide to Modern Databases and the Nosql Movement
Wilson, Jim
Perkins, Luc
Redmond, Eric
Paperback
R for Data Science: Import, Tidy, Transform, Visualize, and Model Data
Wickham, Hadley
Grolemund, Garrett
Paperback
The Reverse Centaur's Guide to Life After AI: How to Think about Artificial Intelligence--Before It's Too Late
Doctorow, Cory
Paperback
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Kleppmann, Martin
Riccomini, Chris
Paperback
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Yudkowsky, Eliezer
Soares, Nate
Hardcover
AI for Good: How Real People Are Using Artificial Intelligence to Fix Things That Matter
Tyrangiel, Josh
Hardcover
The Year in Tech, 2026: The Insights You Need from Harvard Business Review
Anthony, Scott D.
Webb, Amy
Review, Harvard Business
Paperback
Human Raised: Nurturing Connection, Curiosity & Lifelong Learning in the Age of AI
Suskind, Dana, MD
Hardcover
Hbr's 10 Must Reads on AI (with Bonus Article How to Win with Machine Learning by Ajay Agrawal, Joshua Gans, and AVI Goldfarb)
Review, Harvard Business
Davenport, Thomas H.
Iansiti, Marco
Paperback
A Giant Leap: How AI Is Transforming Healthcare and What That Means for Our Future
Wachter, Robert
Hardcover
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Hanna, Alex
Bender, Emily M.
Hardcover
Generative Ai: The Insights You Need from Harvard Business Review
Cremer, David De
Review, Harvard Business
Mollick, Ethan
Paperback
Fans First: Change The Game, Break the Rules & Create an Unforgettable Experience
Cole, Jesse
Paperback
AI Literacy in Any Class: Preparing Students to Thrive in an AI Future in Any Grade Level or Content Area
Miller, Matt
Paperback
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Roose, Kevin
Hardcover
Fundamentals of Data Engineering: Plan and Build Robust Data Systems
Housley, Matt
Reis, Joe
Paperback
Minecraft: Guide Collection 4-Book Boxed Set (Updated): Survival (Updated), Creative (Updated), Redstone (Updated), Combat
The Official Minecraft Team
Mojang Ab
Hardcover
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Narayanan, Arvind
Kapoor, Sayash
Paperback
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence
Crawford, Kate
Paperback
We Are as Gods: A Survival Guide for the Age of Abundance
Diamandis, Peter H.
Kotler, Steven
Hardcover
AI with Intention: Principles and Action Steps for Teachers and School Leaders
Frontier, Tony
Paperback
Hands-On Machine Learning with Scikit-Learn and Pytorch: Concepts, Tools, and Techniques to Build Intelligent Systems
Géron, Aurélien
Paperback
The Thinking Machine: Jensen Huang, Nvidia, and the World's Most Coveted Microchip
Witt, Stephen
Hardcover
Human + Machine, Updated and Expanded: Reimagining Work in the Age of AI
Daugherty, Paul R.
Wilson, H. James
Hardcover
The Black Swan: Second Edition: The Impact of the Highly Improbable: With a New Section: On Robustness and Fragility
Taleb, Nassim Nicholas
Paperback
Artificial Intelligence: A Guide for Thinking Humans (with a New Preface)
Mitchell, Melanie
Paperback
Hands-On Large Language Models: Language Understanding and Generation
Alammar, Jay
Grootendorst, Maarten
Paperback
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
The Eureka Machine: Why AI Is the Key to Unlocking a New Era of Scientific Discoveries
Socher, Richard
Hardcover
Fundamentals of Software Architecture: A Modern Engineering Approach
Richards, Mark
Ford, Neal
Paperback
CompTIA Tech+ Certification All-in-One Exam Guide, Third Edition (Exam FC0-U71)
Wempen, Faithe
Paperback
AI Projects with Raspberry Pi: High-Performance Artificial Intelligence for Robotics, Security, Home Automation, and Vision
Hattersley, Lucy
Jepson, Brian
Paperback
Power and Prediction: The Disruptive Economics of Artificial Intelligence
Goldfarb, Avi
Agrawal, Ajay
Gans, Joshua
Hardcover
Minecraft: Exploded Builds: Medieval Fortress: An Official Mojang Book
Mojang Ab
The Official Minecraft Team
Paperback
You to the Power of Two: Redefining Human Potential in the Age of Identic AI
Tapscott, Don
Bradley, Joseph
Hardcover
Tubes: A Journey to the Center of the Internet with a New Introduction by the Author
Blum, Andrew
Paperback
Minecraft: Roll for Adventure: The Temple of the Charged Creeper
Forbeck, Matt
Forbeck, Marty
Hardcover
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Kapoor, Sayash
Narayanan, Arvind
Hardcover
AP Computer Science a Premium, 13th Edition: Prep Book with 6 Practice Tests + Comprehensive Review + Online Practice (2026)
Carman, Chris
Teukolsky, Roselyn, M. S.
Paperback
You Look Like a Thing and I Love You: How Artificial Intelligence Works and Why It's Making the World a Weirder Place
Shane, Janelle
Paperback
The AI Ultimatum: Preparing for a World of Intelligent Machines and Radical Transformation
Brown, Steve
Hill, Paul
Paperback
The Devops Handbook, 2nd Edition: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Humble, Jez
Debois, Patrick
Kim, Gene
Paperback
AP Computer Science Principles Premium, 2027: 6 Practice Tests + Comprehensive Review + Online Practice
Reichelson, Seth
Paperback
Artificial Intelligence All-In-One for Dummies
Massaron, Luca
Minnick, Chris
Mueller, John Paul
Paperback
The Fourth Intelligence Revolution: The Future of Espionage and the Battle to Save America
Vinci, Anthony
Hardcover
The Problem with Personalization: How Advertisers Learned to Make and Break Us from Ancient Times to the AI Age
Turow, Joseph
Hardcover
The Death of Expertise: The Campaign Against Established Knowledge and Why It Matters
Nichols, Tom
Paperback
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Huyen, Chip
Paperback
AI for Educators: Learning Strategies, Teacher Efficiencies, and a Vision for an Artificial Intelligence Future
Miller, Matt
Paperback
RHCSA Red Hat Enterprise Linux 10: Training and Exam Preparation Guide (EX200), Fourth Edition
Ghori, Asghar
Paperback
More Human: How the Power of AI Can Transform the Way You Lead
Hougaard, Rasmus
Carter, Jacqueline
Hardcover
The Experimentation Machine: Finding Product-Market Fit in the Age of AI
Bussgang, Jeffrey J.
Hardcover
Building Applications with AI Agents: Designing and Implementing Multiagent Systems
Albada, Michael
Paperback
Graphic Artists Guild Handbook, 17th Edition: Pricing & Ethical Guidelines
The Graphic Artists Guild
Paperback
Love Machines: How Artificial Intelligence Is Transforming Our Relationships
Muldoon, James
Hardcover
Microsoft 365 Excel All-In-One for Dummies
Ringstrom, David H.
Alexander, Michael
Kusleika, Dick
Paperback
The Technological Republic: Hard Power, Soft Belief, and the Future of the West
Zamiska, Nicholas W.
Karp, Alexander C.
Hardcover
The Empty Center: Permission, Connection, and What We Build When the Future is Uncertain
Drumwright, Hayes
Hardcover
The Coming Wave: Technology, Power, and the Twenty-First Century's Greatest Dilemma
Suleyman, Mustafa
Hardcover
What Is Intelligence?: Lessons from AI about Evolution, Computing, and Minds
Aguera Y. Arcas, Blaise
Paperback
Navigeren door het labyrint: Een handleiding voor het beheer van data
Sebastian-Coleman, Laura
Paperback
Hbr's 10 Must Reads on Artificial Intelligence, Updated and Expanded (Featuring How AI Can Help Managers Think Through Problems by Elisa Farri and Gab
Review, Harvard Business
Davenport, Thomas H.
Agrawal, Ajay
Paperback
Prediction Machines, Updated and Expanded: The Simple Economics of Artificial Intelligence
Agrawal, Ajay
Gans, Joshua
Goldfarb, Avi
Hardcover
The Empty Center: Permission, Connection, and What We Build When the Future is Uncertain
Drumwright, Hayes
Paperback
Laptops for Seniors in Easy Steps, 9th Edition: Covers All Laptops with the Windows 11 2024 Update
Vandome, Nick
Paperback
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
Cox, Phillip
Lupi, Giorgia
Paperback
The Next Big Thing: Innovations for a Better, Smarter, Stronger Tomorrow
Marciano, Rob
Trefil, James
Hardcover
A Whole New Human: Ten Ways We Must Evolve to Survive and Thrive in the AI Age
Rydall, Derek
Hardcover
R for Data Science: Import, Tidy, Transform, Visualize, and Model Data
Wickham, Hadley
Grolemund, Garrett
Cetinkaya-Rundel, Mine
Paperback
On the Future of Species: Authoring Life by Means of Artificial Biological Intelligence
Woolfson, Adrian
Hardcover
Comptia A+ Complete Study Guide, 2-Volume Set: Volume 1 Core 1 Exam 220-1201 and Volume 2 Core 2 Exam 220-1202
Buhagiar, Jon
Docter, Quentin
Paperback
Rewiring Democracy: How AI Will Transform Our Politics, Government, and Citizenship
Schneier, Bruce
Sanders, Nathan E.
Hardcover