图 书 馆
逻辑，自动机与游戏Logic, Automata & Games |
|
| 课程网址: | http://videolectures.net/ssll09_pinchinat_lag/ |
| 主讲教师: | Sophie Pinchinat |
| 开课单位: | IRISA公司 |
| 开课时间: | 2009-04-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course provides the students with fundamental notions of temporal logic, mu-calculus, two-player infinite games, alternating tree automata, and with their relationship to answer the model-checking and satisfiability problems. |
| 关 键 词: | 时序逻辑; μ演算; 模型检验 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2021-04-09：yumf |
| 阅读次数: | 69 |