TY  - RPRT
TI  - Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety
AU  - Ruiyang Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2608.01388
ID  - 2608.01388
ER  -