共 50 条
- [1] Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, : 1359 - 1366
- [2] Monte Carlo model checking TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 271 - 286
- [3] UNIFORM OPTIMIZATION OF WEIGHT MONTE-CARLO ESTIMATES DOKLADY AKADEMII NAUK SSSR, 1988, 303 (02): : 290 - 293
- [4] MONTE-CARLO SIMULATION OF A MODEL OF A SURFACTANT JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1981, 14 (05): : L193 - L197
- [5] MONTE-CARLO INVESTIGATION OF THE MITSUI MODEL JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1983, 16 (25): : 4997 - 5007
- [10] A MONTE-CARLO STUDY OF THE BNNNI MODEL JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1989, 22 (18): : 3981 - 3989