机构名称：
¥ 1.0
•将自主系统在其环境中的规格形式化为GR（1）获胜条件，该条件是一组线性时间逻辑（LTL）公式，如果环境满足其初始，不变和进步条件，则需要自治系统满足其初始，不变和进步条件。•编写代码将这些LTL公式转换为环境和自主系统之间的游戏图。通过更改Python库郁金香中的源代码来实现这一目标。•创建算法以计算这些游戏图上的鲁棒性指标。然后，使用这些指标来近视地找到系统最难成功响应的环境动作。•目前，为考虑图表上的路径的自治系统创建硬测试。
Kimia Hassibi -Caltech's
主要关键词
相关文件推荐
