作者：
出版社：
本书共分为七章，主要内容包括：城市地下空间信息化背景、城市地下空间普查技术方案、城市地下空间普查技术方法与要求、城市地下空间普查质量控制、城市地下空间普查前沿技术及方法、昆明市地下空间普查工作实践、城市地下空间信息化工作前瞻等。
本书以实时随机系统为研究对象，以描述实时随机系统的典型模型－离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础，就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题，展开了一系列研究。
