@misc{indiciae5a80426df327,
  title = {Attack-Aware Intrusion Risk Monitoring for Aerial Surveillance via Probabilistic Signal Temporal Logic},
  author = {Xinhao Yan and Kenji Kashima and Bo Chen and Hailong Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2611.04252},
  note = {Source identifier: 2611.04252}
}