Paper Citation Record · LEDGER

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

As of 22 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:1908.05402.

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

pith.paper-citation-record.v1
1908.05402 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:19:37.738082Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

46 of 46 outbound references displayed

verified exact0
verified fuzzy42
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ccef83a1-3df4-47bf-8e29-fe32da6774e4 · outbound

This paper cites ftp://vlsi.colorado.edu/pub/.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems ftp://vlsi.colorado.edu/pub/

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.422054Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 565582e5-fa7f-43c8-9957-9ee45984b200 · outbound

This paper cites Safe reinforcement learning via shielding.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Safe reinforcement learning via shielding

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.408919Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a63ec6ad-e1ac-48a6-ae77-3b5fb3e1604f · outbound

This paper cites Hen- zinger, Bettina K ¨onighofer, and Stefan Pranger.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Hen- zinger, Bettina K ¨onighofer, and Stefan Pranger

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.394878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 0f94c497-c754-44c9-826b-188cd15732a4 · outbound

This paper cites Runtime veriﬁcation for LTL and TLTL.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Runtime veriﬁcation for LTL and TLTL

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.380948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 100ef010-0272-4940-bd1c-1f5f4336336b · outbound

This paper cites Bloem, K.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Bloem, K

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.365867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6083eaf3-bf96-4299-b7e0-2d3c1226a069 · outbound

This paper cites Bloem, B.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Bloem, B

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.351502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d3643ff0-c955-4525-91ed-32d5d25cdcc2 · outbound

This paper cites Shield synthesis: Runtime enforcement for reactive systems.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Shield synthesis: Runtime enforcement for reactive systems

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.338127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2b756286-0532-4336-ae47-6baed82609bf · outbound

This paper cites The complexity of monitoring hyperproperties.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems The complexity of monitoring hyperproperties

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.324447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 45aee283-7e76-4529-a61e-ed4726400b6f · outbound

This paper cites an unresolved cited work.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:19:38.309868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7fbfa068-3f65-40bf-a074-46a9b1b80349 · outbound

This paper cites Verifying hyperliveness.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Verifying hyperliveness

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.296794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 68141cf1-e781-425a-ab49-301072bd27ff · outbound

This paper cites Z3: An efﬁcient smt solver.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Z3: An efﬁcient smt solver

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.283312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1ae12ac7-ae69-4141-bcd6-07cda4754795 · outbound

This paper cites Fainekos.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Fainekos

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.268569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 50f6eb61-9bd0-454f-90c7-931b3e8a5cb3 · outbound

This paper cites Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit A.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit A

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.255473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b27af9f3-e96b-42d7-80c9-0ec901afe6f4 · outbound

This paper cites Resilience to intermittent assumption violations in reactive synthesis.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Resilience to intermittent assumption violations in reactive synthesis

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.241521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1552bfe4-9227-4ff2-9c03-894ff38e926a · outbound

This paper cites Fainekos and George J.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Fainekos and George J

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.227679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1e4019d5-5bae-457d-99a2-d2b79e470b69 · outbound

This paper cites What can you verify and enforce at runtime? International Journal on Software Tools for Technology Transfer, 14(3):349–382, 2012.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems What can you verify and enforce at runtime? International Journal on Software Tools for Technology Transfer, 14(3):349–382, 2012

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.214375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation fe7ffb7d-ba91-4623-bef0-e62fe5ebf831 · outbound

This paper cites Robust model predictive control for signal temporal logic synthesis.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Robust model predictive control for signal temporal logic synthesis

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.200556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 033e3790-9eb1-4c4a-8f75-06160a9d4227 · outbound

This paper cites Automated hypersafety veriﬁca- tion.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Automated hypersafety veriﬁca- tion

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.186192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 77ea2767-2113-4fe5-b2f9-03d7b05582d9 · outbound

This paper cites Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.172154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e47e6ad6-1888-4cc3-a739-30c5c0793c65 · outbound

This paper cites Mining requirements from closed-loop control models.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Mining requirements from closed-loop control models

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.157372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 34138170-3e5f-4259-bd7a-c4bedd73435a · outbound

This paper cites Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Alek- sandar Zeljic, David L.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Alek- sandar Zeljic, David L

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.142451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 501b8051-cb36-4f8d-b2c6-e438ad7f3544 · outbound

This paper cites Humphrey, Robert K ¨onighofer, Ufuk Topcu, and Chao Wang.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Humphrey, Robert K ¨onighofer, Ufuk Topcu, and Chao Wang

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.128260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 82f238a5-1daa-4279-ab74-bbeea7f1077b · outbound

This paper cites Run-time enforcement of nonsafety policies.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Run-time enforcement of nonsafety policies

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.113884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4288d726-76ba-4ccc-aaf6-d778d8f0001c · outbound

This paper cites Synthesis of switching protocols from temporal logic speciﬁcations.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Synthesis of switching protocols from temporal logic speciﬁcations

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.099704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation acccc920-c42f-427b-89dc-e3e007bdd7a8 · outbound

This paper cites an unresolved cited work.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:19:38.085148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ad9654c7-fc57-4e5d-90fe-2526c8408e4b · outbound

This paper cites EnforceMOP: a runtime property enforcement system for multithreaded programs.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems EnforceMOP: a runtime property enforcement system for multithreaded programs

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.071592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 96f8464d-4aba-4d25-b4d6-6d86010e94bb · outbound

This paper cites Monitoring temporal properties of continuous signals.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Monitoring temporal properties of continuous signals

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.057620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a197bfcb-ca7b-483e-a7bb-07ede5a22149 · outbound

This paper cites Inﬁnite games.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Inﬁnite games

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.042927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9af26ecd-29d4-4d30-946d-481adf00175d · outbound

This paper cites Correct-by-construction adaptive cruise control: Two approaches.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Correct-by-construction adaptive cruise control: Two approaches

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.029113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5cbc7d83-0dc7-44db-8312-425335be857a · outbound

This paper cites Fly-by-logic: control of multi-drone ﬂeets with temporal logic objectives.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Fly-by-logic: control of multi-drone ﬂeets with temporal logic objectives

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:38.014657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4c373e82-4a99-498e-b12c-7c8de426d122 · outbound

This paper cites an unresolved cited work.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:19:38.000655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 19d473bd-74fe-4580-8bc7-b4a6bdfae0dd · outbound

This paper cites Pnueli and R.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Pnueli and R

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.986080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 224194a3-788a-4b92-ba78-2b0b754fb8af · outbound

This paper cites an unresolved cited work.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:19:37.971120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 136938f4-9a8d-4980-b98c-51dbba285827 · outbound

This paper cites Model predictive control with signal temporal logic speciﬁcations.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Model predictive control with signal temporal logic speciﬁcations

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.957601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3cec7d99-90ae-4697-a83b-dfa8c9741fbf · outbound

This paper cites Reactive synthesis from signal temporal logic spec- iﬁcations.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Reactive synthesis from signal temporal logic spec- iﬁcations

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.943560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 0ca239da-4a6c-4000-b35c-0ac83a1a2909 · outbound

This paper cites Enforcement of (timed) properties with uncontrollable events.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Enforcement of (timed) properties with uncontrollable events

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.928012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d1833b12-8155-451b-a398-25d89845f4b8 · outbound

This paper cites Runtime en- forcement using b ¨uchi games.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Runtime en- forcement using b ¨uchi games

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.912490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1917668d-017a-447e-8f93-9beff7772b63 · outbound

This paper cites Rinard, Cristian Cadar, Daniel Dumitran, Daniel M.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Rinard, Cristian Cadar, Daniel Dumitran, Daniel M

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.898129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 041ebe09-0c44-4579-9cf4-7d02d81cfe22 · outbound

This paper cites Parameter invariant monitoring for signal temporal logic.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Parameter invariant monitoring for signal temporal logic

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.883384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e60de6ea-37b7-4b74-b845-7d08317daafd · outbound

This paper cites Schneider.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Schneider

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.869703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 936a7fbb-1ca0-49f4-9e80-c24696ac4126 · outbound

This paper cites Safety ﬁrst: a two-stage algorithm for the synthesis of reactive systems.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Safety ﬁrst: a two-stage algorithm for the synthesis of reactive systems

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.854072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3dce6a2d-f4fc-4cec-8dca-33b4fdaed76a · outbound

This paper cites Deshmukh.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Deshmukh

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.837547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9d9ff937-3424-420c-8c40-f58d27cd103e · outbound

This paper cites Synthesizing runtime enforcer of safety properties under burst error.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Synthesizing runtime enforcer of safety properties under burst error

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.822106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation cdcd5aaf-299e-41bb-b03a-c7cbb0a68e71 · outbound

This paper cites Safety guard: Runtime enforcement for safety-critical cyber-physical systems: Invited.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Safety guard: Runtime enforcement for safety-critical cyber-physical systems: Invited

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.807009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b6efe2c1-2696-4892-b5a5-16600a41fa7d · outbound

This paper cites Patching vulnerabilities with sanitization synthesis.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Patching vulnerabilities with sanitization synthesis

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.791304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d4224780-f321-454e-9948-92c4927bf26e · outbound

This paper cites Runtime prevention of concurrency related type-state violations in multithreaded applications.

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems Runtime prevention of concurrency related type-state violations in multithreaded applications

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:19:37.774988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Pith citing papers

No inbound Pith citation observations are available.