Explore the critical challenge of safety assurance in modern software systems with ‘Safety Assurance Under Uncertainties’. This groundbreaking book, ideal for “The bookish owl”‘s discerning readers, tackles the complex uncertainties inherent in cyber-physical and machine learning systems, using automated driving as a prime example. Discover interdisciplinary efforts to specify, model, test, analyze, and verify these systems. Bridging the gap between industry and academia, the book offers both practical, readily applicable techniques and forward-thinking design approaches for enhanced assurance. Gain high-level intuitions and compelling use-cases, not just technical jargon, making it an essential read for anyone involved in developing or understanding advanced software. Perfect for software engineers, researchers, and students seeking to navigate the complexities of system safety.