Author:Zhenya Zhang

Publications

Keyphrases

Benchmarking2, competition, Cyber-Physical Systems2, evaluation2, falsification4, Friendly Competition3, hybrid systems2, simulation2, temporal logic2.