K. Deb
A. Pratap
S. Agarwal
T. Meyarivan
IEEE Transactions on Evolutionary Computation
Inferring and Obeying Norms in Temporal Logic
Integrated Pre-design Step Methodology Based Onmulti-objective Evolutionary Optimization