Automated planning and scheduling - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-07-17 21:57:24 Game theory Dynamic programming Stochastic control Reinforcement learning Markov decision process Mechanism design Gittins index Automated planning and scheduling Markov chain Statistics Markov processes Markov models		Add to Reading List Source URL: www.eecs.harvard.edu Download Document from Source Website File Size: 143,63 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
	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: 1xUuJ - View Document
	2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications DocID: 1vrV2 - View Document
	EE363 WinterLecture 10 Linear Quadratic Stochastic Control with DocID: 1vrTL - View Document
	EE266 and MS&E251: Introduction About the course Optimization Dynamical systems Stochastic control DocID: 1vkoK - View Document