Modeling and verification of evolving cyber-physical spaces.

Christos Tsigkanos Timo Kehrer Carlo Ghezzi

Published in: ESEC/SIGSOFT FSE (2017)

Keyphrases

cyber physical
social networks
physical world
real time
low cost
learning strategies
decision process