有界模型检测同步多智体系统的时态认知逻辑
释义
更多
Bounded Model Checking for Temporal Epistemic Logic in Synchronous Multi-Agent Systems
近反义词
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载