Prefer a chat interface with context about you and your work?
AlgebraicSystems: Compositional Verification for Autonomous System Design
Autonomous systems require the management of several model views to assure properties such as safety and security among oth-ers. A crucial issue in autonomous systems design assurance is the notion of emergent behavior; we cannot use their parts in isolation to examine their overall behavior or performance. Compositional verification attempts …