Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems.

该论文聚焦于分布式信息物理系统（如物联网、自动驾驶汽车）的安全建模与验证问题。传统建模方法在面对动态成员和复杂交互时变得笨重且不实用，例如多车交互场景中车辆相对位置和车道变化带来的挑战。为此，作者提出了一种以自我为中心的抽象方法，用于简洁地

历史摘要 · 未重新核验 · IEEE S&P