External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

AlgebraicSystems: Compositional Verification for Autonomous System Design

Georgios Bakirtzis, Ufuk Topcu. AlgebraicSystems: Compositional Verification for Autonomous System Design. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 308-309, IEEE, 2022. [doi]

Authors

Georgios Bakirtzis

This author has not been identified. Look up 'Georgios Bakirtzis' in Google

Ufuk Topcu

This author has not been identified. Look up 'Ufuk Topcu' in Google
runs on