SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.

Kyungmin Bae Peter Csaba Ölveczky Soonho Kong Sicun Gao Edmund M. Clarke

Published in: HSCC (2016)

Keyphrases

hybrid systems
data analysis
machine learning
evolutionary algorithm