Abstract: In this letter, we propose HV-Net, a new method for hypervolume approximation in evolutionary multiobjective optimization. The basic idea of HV-Net is to use DeepSets, a deep neural network ...

Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...