Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.

Claudio Menghi Enrico Viganò Domenico Bianculli Lionel C. Briand

Published in: CoRR (2020)

Keyphrases

cyber physical
social networks
situation awareness
control system
mobile robot
low cost
agent model