Modeling cyber-physical systems for automatic verification.

Youssef Driouich Mimmo Parente Enrico Tronci

Published in: SMACD (2017)

Keyphrases

cyber physical systems
artificial intelligence
decision making
intelligent systems
cost effective
physical world