This book provides an introduction to the challenges of decision making under uncertainty from a computational perspective.

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking.

Each half of the book contains a full semester’s worth of complementary yet stand-alone material. The practical orientation of the topics chosen and a wealth of useful examples also make the book suitable for practitioners in the field.

The other one was the book Introduction to Scheduling Theory by Soviet mathematicians V. S. Tanaev and V. V. Shkurba. These books well complement each other.

This is the first volume in which mono-tone maps are treated broadly, in line with their growing importance in optimization and mathematical economics.

The book is clearly written. ... This is a good book for providing mathematicians, economists and engineers with an almost complete start up information for working in the field. I heartily welcome its publication. ..