|
|||||
|
|
Quantitative Verification of Knowledge Precondition for Open System |
|
| Affiliation: | College of Computer Science and Technology, Jilin University, Chan9chun 130012, China |
| Abstract: | |
| Keywords: | Quantitative verification Knowledge precondition Alternating-time temporal logic (ATL) Open system |
| 本文献已被 万方数据 等数据库收录！ | |