Paper Citation Record · LEDGER

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety

As of 16 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2608.01388.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.01388 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T00:21:06.067168Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

15 of 15 outbound references displayed

verified exact1
verified fuzzy8
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2f3467bf-020f-4c92-8723-29023df08acc · outbound

This paper cites Enforcing temporal constraints for LLM agents,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety Enforcing temporal constraints for LLM agents,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T00:21:06.029753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60a2d289-6116-41df-8b8a-f75be8cbc5f0 · outbound

This paper cites AgentSpec: Customizable runtime enforcement for safe and reliable LLM agents,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety AgentSpec: Customizable runtime enforcement for safe and reliable LLM agents,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.411200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e90b5941-7433-4ce3-a6dd-4b7b29c401fa · outbound

This paper cites ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T00:21:06.035360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56b64ad6-963e-42fb-87ef-efe80953cea7 · outbound

This paper cites AgentSentry: Mitigating indirect prompt injection in LLM agents via temporal causal diagnostics and context purification,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety AgentSentry: Mitigating indirect prompt injection in LLM agents via temporal causal diagnostics and context purification,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T00:21:06.038272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00f0bf65-3c10-44c1-9912-e5b0ad7b43d7 · outbound

This paper cites LTL-based runtime verification framework for cyber-attack anomaly prediction in cyber-physical systems,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety LTL-based runtime verification framework for cyber-attack anomaly prediction in cyber-physical systems,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.403485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d7cbfad2-9890-4c62-83e9-6205ebb651d2 · outbound

This paper cites Efficient mining of temporal safety properties for intrusion detection in industrial control systems,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety Efficient mining of temporal safety properties for intrusion detection in industrial control systems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.393912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 236648d6-3069-4d84-bb18-2f14d98437fc · outbound

This paper cites From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-06T00:21:06.178053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 05fe4ad7-0b36-4131-afb4-f5b120274ba8 · outbound

This paper cites AgentDojo: A dynamic environment to evaluate prompt injection attacks and defenses for LLM agents,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety AgentDojo: A dynamic environment to evaluate prompt injection attacks and defenses for LLM agents,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.384878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c932a027-df10-464c-9ff4-a58313cedf19 · outbound

This paper cites GPT-4.1: Technical report,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety GPT-4.1: Technical report,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.376056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 677ca03a-6bc8-44a3-a6a2-010707253983 · outbound

This paper cites Claude Sonnet 4 model card,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety Claude Sonnet 4 model card,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.368128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 11dd8dc5-e240-4933-8ef7-6d1605d1ed0b · outbound

This paper cites Gemini 2.5 Flash: Technical report,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety Gemini 2.5 Flash: Technical report,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.359721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f9f8823f-9f4e-4960-b76c-ccacb2c49bcd · outbound

This paper cites The Llama 3 Herd of Models.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety The Llama 3 Herd of Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T00:21:06.059505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4987a52-6906-4be9-8878-ee05073e256e · outbound

This paper cites Mining anomalies using traffic feature distributions,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety Mining anomalies using traffic feature distributions,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:21:06.348364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a9cb4c2a-5655-4d82-8789-34af695d2a97 · outbound

This paper cites AgentVerify: Compositional formal verification of AI agent safety properties via LTL model checking,.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety AgentVerify: Compositional formal verification of AI agent safety properties via LTL model checking,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T00:21:06.064611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e49cda8-b4b6-480a-9a9b-c8aff9655bb2 · outbound

This paper cites Mapping the Exploitation Surface: A 10,000-Trial Taxonomy of What Makes LLM Agents Exploit Vulnerabilities.

Why Formal Monitors Fail: Attack Distribution Entropy as a Coverage Bound for LTL-Based LLM Agent Safety Mapping the Exploitation Surface: A 10,000-Trial Taxonomy of What Makes LLM Agents Exploit Vulnerabilities

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T00:21:06.067168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.