Author:Masaki Waga

Publications

Keyphrases

Benchmarking3, Cyber-Physical Systems3, evaluation3, falsification4, Friendly Competition4, hybrid systems, simulation, temporal logic.