Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2

First Page		Document Content
Date: 2007-06-27 11:49:37 Experiment Mathematical analysis Multi-objective optimization Markov decision process Probability space Event Analysis Probability and statistics Holomorphic functional calculus		Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 222,11 KB Share Document on Facebook

	Mutation Operators based on Variable Grouping for Multi-objective Large-scale Optimization Heiner Zille∗ , Hisao Ishibuchi† , Sanaz Mostaghim∗ and Yusuke Nojima† ∗ Institute for Intelligent Cooperating Systems DocID: 1vjp4 - View Document
	International Journal of Industrial Electronics and Electrical Engineering, ISSN(p): , ISSN(e): 2349-204X Volume-6, Issue-3, Mar.-2018, http://ijieee.org.in MULTI-OBJECTIVE OPTIMIZATION OF DEMAND SIDE MANAGEMENT DocID: 1v5n0 - View Document
	Lattice Optimization Using Multi-Objective Genetic Algorithm Vadim Sajaev, Michael Borland Mini-workshop on ICA in Beam Measurements and Genetic Algorithm in Nonlinear Beam Dynamics March 14, 2012 DocID: 1v00v - View Document
	Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm Cyrille Dejemeppe, Pierre Schaus, and Yves Deville ICTEAM, Universit´e Catholique de Louvain (UCLouvain), Belgium, {cyrille.dejemeppe, DocID: 1uWVv - View Document
	Multi-objective Assessment And Optimization of Highway Monitoring System 道路モニタリングシステムの多目的評価と最適化に関する研究 Background & Purpose Intelligent transport systems and smart DocID: 1uSCe - View Document