3 ms·System Falsification for Efficient Cyber-Kinetic Vulnerability Detection2 points by PaulHoule 11mo ago