Author:Yoriyuki Yamagata

Publications

Keyphrases

Benchmarking, competition, Cyber-Physical Systems, evaluation, falsification3, Friendly Competition2, hybrid systems2, simulation2, temporal logic2.