Games, Time, and Probabilities: Models and Algorithms for System Design and Analysis
Published on 2011-04-163965 Views
Digital technology, from medical implants to drive-by-wire systems, is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can co