机构名称：
¥ 21.0
线性动力系统（LDS）是在工程和科学中广泛使用的数学模型，以描述随着时间的推移而发展的系统。在本文中，我们研究了离散时间线性动力学系统各种决策问题的算法。我们的主要重点是模型检查问题，即在给定线性动力学系统和ω规范规范的情况下，决定LDS的轨迹是否满足规范。使用来自各种数学学科的工具，大多数
线性动力学系统的算法验证
主要关键词
相关文件推荐
