#运行时验证

生成器无关运行时保证：部分观测下的安全认证

研究基于提案的控制器在运行时验证门后的闭环安全保证何时与生成器解耦。证明同时集合健全性对于生成器无关的准入健全性是必要且充分的，并提供合同安全的充分条件。第二定理在部分观测下限制所有准入机制，提出顺序风险账本实现时间均匀置信管。