Statistical verification of learning-based cyber-physical systems.

Mojtaba Zarei Yu Wang Miroslav Pajic

Published in: HSCC (2020)

Keyphrases

high speed
real time
data processing
software systems