.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
本文介绍了运行时顾问的概念。运行时顾问根据无限字上的某个值函数进行定义。类似于运行时监控器，它并行于系统的执行运行，并在运行的每一步提供输入。虽然运行时监控器在发生违规时发出警报，但顾问的理念是主动提供关于下一步应采取何种行动的建议，以避免违规（或实现定量目标的极大值）。假设运行时控制器可以参考这些建议。运行时顾问不假设其建议总是被遵循。相反，它会根据实际采取的行动进行调整（类似于车辆导航系统）。我们展示了如何为验证中常用的值函数计算运行时顾问，并证明几乎所有值函数都有可在常数时间内运行的运行时顾问。我们还开发了针对omega-正则属性的顾问，涵盖其经典的布尔语义和近期提出的定量解释。
Keyword:
ENFORCEMENT
SAFETY
期刊
R
IF:
0
论文数:
27
被引数:
0
机构
引用论文
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties合成基于属性安全-进展分类的执行监控器.png)
PREAI
分享收藏
查看更多内容