TY  - RPRT
TI  - Attack-Aware Intrusion Risk Monitoring for Aerial Surveillance via Probabilistic Signal Temporal Logic
AU  - Xinhao Yan
AU  - Kenji Kashima
AU  - Bo Chen
AU  - Hailong Huang
PY  - 2026
UR  - https://arxiv.org/abs/2611.04252
ID  - 2611.04252
ER  -