Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:25:24.020822Z
Paper Citation Record · LEDGER
Monitor-Based Runtime Assurance for Temporal Logic Specifications
As of 16 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:1908.03284.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
21 of 21 outbound references displayed
- verified exact1
- verified fuzzy16
- unresolved4
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f1a5ad95-6578-4485-8d75-321fac264854 · outbound
This paper cites Bartocci, J.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Bartocci, J
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.666181Z
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 5edc0993-e008-44ea-849c-4b466295f2f5 · outbound
This paper cites Runtime verification for ltl and tltl,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Runtime verification for ltl and tltl,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.635307Z
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 c863813b-2a1f-427b-8f76-950a1ae95d6a · outbound
This paper cites From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.
Monitor-Based Runtime Assurance for Temporal Logic Specifications From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:25:23.923083Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88b49791-3dd7-4004-8425-5dd9ad5844cc · outbound
This paper cites Robust online monitoring of signal temporal logic,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Robust online monitoring of signal temporal logic,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.608574Z
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 7c603e64-0035-46b3-9539-d7c27049cfbd · outbound
This paper cites Safety verification of model helicopter controller using hybrid input/output automata,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Safety verification of model helicopter controller using hybrid input/output automata,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.440593Z
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 05a06a94-e5a6-4b04-8242-2bb6bb0f4397 · outbound
This paper cites Edit automata: enforcement mechanisms for run-time security policies,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Edit automata: enforcement mechanisms for run-time security policies,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.420289Z
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 544bd49a-46d0-46f8-8819-2506b1440af3 · outbound
This paper cites Do you really mean what you actually enforced?,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Do you really mean what you actually enforced?,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.386772Z
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 50924b01-3dc4-4335-9a37-63f811ec8dfe · outbound
This paper cites Level set methods for computation in hybrid systems,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Level set methods for computation in hybrid systems,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.365441Z
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 4d424bf0-28bb-456e-b863-0b5f4d6bf2a8 · outbound
This paper cites Safety verification of hybrid systems us- ing barrier certificates,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Safety verification of hybrid systems us- ing barrier certificates,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.329040Z
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 82f239de-33d4-4983-a788-1f0e6970120c · outbound
This paper cites Receding horizon temporal logic planning for dynamical systems,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Receding horizon temporal logic planning for dynamical systems,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.307969Z
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 d63da48d-d307-4e87-ac62-e2ccb4b3918f · outbound
This paper cites Unconstrained receding-horizon control of nonlinear systems,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Unconstrained receding-horizon control of nonlinear systems,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.289818Z
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 f4e2737e-1ac8-41f7-9e1a-f555750ff6fc · outbound
This paper cites Formalizing the uni-processor simplex architecture,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Formalizing the uni-processor simplex architecture,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.268121Z
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 375981e7-53f6-422d-a89c-d97925b596a0 · outbound
This paper cites Baier and J.-P.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Baier and J.-P
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.243026Z
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 8082d44e-5a31-4838-bea3-d3a6bce07e34 · outbound
This paper cites Belta, B.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Belta, B
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.222042Z
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 9843f592-6a21-4800-91c0-821970e6d1e8 · outbound
This paper cites Model checking of safety properties,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Model checking of safety properties,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.197910Z
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 867dccc7-43a9-49a6-bcb9-e4da9606966a · outbound
This paper cites an unresolved cited work.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:25:24.179272Z
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 51660cfa-5abc-4f30-915b-489bca018838 · outbound
This paper cites Minimization of Automata.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Minimization of Automata
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T14:25:24.073173Z
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 ddd0d3fd-ae5e-4236-9f7f-802a4d2b8278 · outbound
This paper cites Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.157159Z
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 0ad80771-c070-4a60-8d11-34695b72f408 · outbound
This paper cites an unresolved cited work.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:25:24.139867Z
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 c469679a-3c1d-4aee-94f2-a4767a565d3b · outbound
This paper cites Safe reinforcement learning via shielding,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications Safe reinforcement learning via shielding,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:25:24.122137Z
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 3569330c-6274-442b-90e5-4503981b9774 · outbound
This paper cites F1/10: An open-source autonomous cyber-physical platform,.
Monitor-Based Runtime Assurance for Temporal Logic Specifications F1/10: An open-source autonomous cyber-physical platform,
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:25:24.020822Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.