搜索到 篇“ 时态逻辑 “的相关文章

相关作者

田国会
作品数：343被引量：1,187H指数：15
供职机构：山东大学
研究主题：机器人 服务机器人 家庭服务机器人 地图构建 家庭环境
徐心和
作品数：513被引量：4,825H指数：33
供职机构：东北大学信息科学与工程学院
研究主题：足球机器人 离散事件系统 神经网络 机器人 仿真
张广泉
作品数：234被引量：712H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
朱晨阳
作品数：36被引量：31H指数：3
供职机构：常州大学
研究主题：时态逻辑 智能手机 延迟时间 控制策略 自动机
韩俊刚
作品数：180被引量：425H指数：11
供职机构：西安邮电大学
研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计