I N F S Y S R E S E A R C H R

First Page		Document Content
Date: 2007-04-14 17:36:30 Artificial intelligence Logic programming Academia Decision theory Game theory Non-cooperative games Situation calculus Nash equilibrium Zero-sum game Markov decision process Strategy Mathematical optimization		I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Download Document from Source Website File Size: 444,93 KB Share Document on Facebook

	Bacardi Limited Aligns Corporate Responsibility Strategy to Include UN Sustainable Development Goals Reporting of environmental achievements show significant reductions in water usage, greenhouse gas emissions intensity, DocID: 1xW1I - View Document
	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
	InterDigital: Horizontal Platform for Multi-User Applications Featured Resource: Business Strategy & Innovation Framework (BSIF) The Challenge RESULTS DocID: 1xVU3 - View Document
	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford DocID: 1xVM0 - View Document
	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi DocID: 1xVEM - View Document