Games, Time, and Probabilities: Models and Algorithms for System Design and Analysis
Published on Apr 16, 20113958 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