171 search results - page 35 / 35 » Hypervolume Approximation in Timed Automata Model Checking |
CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...