Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF.
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025
An Intrusion Detection Model Based on Deep Convolutional Factorization Machine for Controller Area Network Bus in Internet of Vehicles.
IEEE Internet Things J., November, 2024