Microsoft Word - 16ae-0265_koopman_camera_ready.docx - Computer systems - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-03-06 19:15:34 Engineering Safety engineering Systems engineering Software quality Computer systems Control engineering ISO 26262 Life-critical system Reliability engineering Verification and validation Fault tolerance Software testing		Microsoft Word - 16ae-0265_koopman_camera_ready.docx Add to Reading List Source URL: users.ece.cmu.edu Download Document from Source Website File Size: 125,02 KB Share Document on Facebook

	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xVYM - View Document
	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK DocID: 1xVRU - View Document
	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University DocID: 1xVKA - View Document
	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin DocID: 1xVI3 - View Document
	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xVqL - View Document