The book stands out by presenting interesting real-life projects and applications that employ approaches going beyond mathematical reasoning through theorem proving. The reported results strongly suggest the great potential of these new techniques to support very complex and rich environments and operations, under difficult conditions. This book would be great additional reading for advanced university classes, where single chapters can be used to bring more light to the specific topic under discussion. It would also be of general interest to scholars and professionals with a particular application or problem in mind, who could refer to the specific chapter addressing the issue of interest.
– Mariana Damova, Computing Reviews