C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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