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

Sung Woo Jeon Sayan Mitra

Published in: SP Workshops (2021)

Keyphrases

cyber physical systems
distributed systems
cyber physical
artificial intelligence
intelligent systems
lightweight
activity recognition
computer networks