Advances and challenges of quantitative verification and synthesis for cyber-physical systems.

Marta Kwiatkowska

Published in: SOSCYPS@CPSWeek (2016)

Keyphrases

cyber physical systems
cyber physical
real world
artificial intelligence
social networks
cyber security
low cost
physical world
smart grid