Machine Learning-Based Detection of Spoofing Attacks in GNSS: A Study Using TEXBAT Dataset | IEEE Conference Publication | IEEE Xplore