共 50 条
- [21] Property-driven partitioning for abstraction refinement TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 389 - +
- [22] Cooperative Multiobjective Evolutionary Algorithm With Propulsive Population for Constrained Multiobjective Optimization IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (06): : 3476 - 3491
- [26] A multiobjective evolutionary algorithm toolbox for computer-aided multiobjective optimization IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2001, 31 (04): : 537 - 556
- [27] A constrained optimization evolutionary algorithm based on multiobjective optimization techniques 2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS, 2005, : 1081 - 1087
- [28] Property-Driven Runtime Resolution of Feature Interactions RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 316 - 333
- [30] A multiobjective evolutionary algorithm for optimizing the small-world property PLOS ONE, 2024, 19 (12):