@misc{indiciae5b718bc712dd, title = {RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection}, author = {Kohei Tsujio and Mohammad Abdullah Al Faruque and Yasser Shoukry}, year = {2026}, url = {https://arxiv.org/abs/2511.16765}, note = {Source identifier: 2511.16765} }