Privacy-aware verification of cyber-physical systems
Monday September 5, 2022
With the rapid advances in computation and communication, there is a growing interest in verifying the performance of cyber-physical systems (e.g., connected and autonomous vehicles) using real-time system data. Such a practice, however, can jeopardize privacy since these data may be related to personal information (e.g., daily itinerary) and unintendedly leaked to the public in […]
