半自主系统安全性的最小限制准则综合

我们考虑为半自主系统综合安全设计（safe-by-design）控制策略的问题。我们的目标是解决以下情况：安全无法仅由系统的自主可控部分保证，而需要来自不可控部分（如人类操作员）的一定程度的协作。本文中，我们提出一种生成最小限制准则的系统化解决方案，即在最坏情况长期系统执行中尽可能少地限制人类操作员的准则。该算法利用了双人回合制博弈的思想。