|
Author:Deyun Lyu| Publications |
|---|
Tanmay Khandait, Deyun Lyu, Paolo Arcaini, Georgios Fainekos, Federico Formica, Sauvik Gon, Abdelrahman Hekal, Atanu Kundu, Claudio Menghi, Giulia Pedrielli, Rajarshi Ray, Quinn Thibeault, Masaki Waga and Zhenya Zhang |
KeyphrasesBenchmarking, Cyber-Physical Systems, evaluation, falsification. |
|
|
