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… Read More
Privacy-aware verification of cyber-physical systems
