Author:Gidon Ernst

Publications

Keyphrases

competition, falsification2, Friendly Competition, hybrid systems2, simulation2, temporal logic2.