collaborators

1 paper

cs.CR2025

Data-Driven Falsification of Cyber-Physical Systems

Atanu Kundu, Sauvik Gon, Rajarshi Ray

Cyber-Physical Systems (CPS) are abundant in safety-critical domains such as healthcare, avionics, and autonomous vehicles. Formal verification of their operational safety is, ther…