|
|
|
|
|
Angela Pappagallo, Annalisa Massini and Enrico Tronci
The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs) (e.g., autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this setting, the main obstacle to overcome is the huge number of scenarios to be e...
ver más
|
|
|
|
|