|
Author:Zhenya ZhangPublications |
---|
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang | | |
Keyphrasescompetition, falsification, hybrid systems, simulation, temporal logic. |
|
|