|
|||||
|
|
Model checking approach to automated planning |
|
| Authors: | Yi Li Jin Song Dong Jing Sun Yang Liu Jun Sun |
| Affiliation: | 1. Department of Computer Science, University of Toronto, Toronto, Canada 2. Department of Computer Science, National University of Singapore, Singapore, Singapore 3. Department of Computer Science, The University of Auckland, Auckland, New Zealand 4. School of Computer Engineering, Nanyang Technological University, Singapore, Singapore 5. Singapore University of Technology and Design, Singapore, Singapore |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |
