Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision | Paper Citation Record

Observation 5c634d5a-d866-43ab-a402-a00518367946 · outbound

This paper cites Safe reinforcement learning via formal meth- ods: Toward safe control through proof and learning,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Safe reinforcement learning via formal meth- ods: Toward safe control through proof and learning,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.433763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1bc97f4-bffa-40b0-95f4-910b51aee248 · outbound

This paper cites Safe deep reinforcement learning for adaptive cruise control by impos- ing state-specific safe sets,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Safe deep reinforcement learning for adaptive cruise control by impos- ing state-specific safe sets,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.595767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d448e8ec-7835-4c7b-8a5f-78c7861ffd39 · outbound

This paper cites ARCH- COMP21 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision ARCH- COMP21 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.670085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f67f13ea-9c72-4b0c-a482-fd5af2f47c9d · outbound

This paper cites Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-06T11:37:02.118436Z

Source-reported events for the cited work

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

Observation 57d4e5c2-1e34-42d0-89b8-c1ba6de442a7 · outbound

This paper cites Policy compression for aircraft collision avoidance systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Policy compression for aircraft collision avoidance systems,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.722667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae2f87a4-0064-4260-a19d-2cc24f651851 · outbound

This paper cites Efficient neural network robustness certification with general activation functions,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Efficient neural network robustness certification with general activation functions,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.726917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da94db90-4a38-4183-8f1b-17affcb9b520 · outbound

This paper cites Automatic perturbation analysis for scalable certified robustness and beyond,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Automatic perturbation analysis for scalable certified robustness and beyond,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.730627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5411f860-2d58-463c-8964-ac3fc1620200 · outbound

This paper cites Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.733831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 022c36c3-38b6-4679-8cc6-3912d29172a9 · outbound

This paper cites Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.737447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a5c3362-0991-408b-bade-2228a11c893b · outbound

This paper cites Efficient neural network verification via adaptive refinement and adversarial search,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Efficient neural network verification via adaptive refinement and adversarial search,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.740747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebcb6463-ccc1-47b9-b24a-4575471e817e · outbound

This paper cites DEEPSPLIT: an efficient splitting method for neural network verification via indirect effect analysis,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision DEEPSPLIT: an efficient splitting method for neural network verification via indirect effect analysis,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.743831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a53325a-5ab9-4bf2-ac50-7665e9ee2e65 · outbound

This paper cites Reluplex: An efficient SMT solver for verifying deep neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Reluplex: An efficient SMT solver for verifying deep neural networks,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.747060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb451a5a-01c8-4560-b0f6-94c1ebe26e69 · outbound

This paper cites The Marabou framework for verification and analysis of deep neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision The Marabou framework for verification and analysis of deep neural networks,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.750863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bc03f94-5254-402d-a4b2-fffe16384d04 · outbound

This paper cites Branch and bound for piecewise linear neural network verification,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Branch and bound for piecewise linear neural network verification,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.754397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 905c7797-ac82-4cab-b3a5-d8d1d6744067 · outbound

This paper cites Improved geometric path enumeration for verifying ReLU neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Improved geometric path enumeration for verifying ReLU neural networks,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.758115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67c4eb35-bdb9-4dcb-b3c9-aec28a8992af · outbound

This paper cites nnenum: Verification of ReLU neural networks with optimized abstraction refinement,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision nnenum: Verification of ReLU neural networks with optimized abstraction refinement,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.761716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3316a047-a6cc-4360-a225-068e3e075440 · outbound

This paper cites General cutting planes for bound-propagation-based neural network verification,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision General cutting planes for bound-propagation-based neural network verification,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.765244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d035957b-3704-40da-9fd8-b719f80e7090 · outbound

This paper cites Neural Network Verification with Branch-and-Bound for General Nonlinearities.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.768386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 590479e7-48fd-48d9-bd9f-aa1df2787ba1 · outbound

This paper cites Marabou 2.0: A versatile formal analyzer of neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Marabou 2.0: A versatile formal analyzer of neural networks,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.927728Z

Source-reported events for the cited work

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

Observation ea575d96-e130-4ec5-8cf3-813e2299076e · outbound

This paper cites JuliaReach: a toolbox for set-based reachability,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision JuliaReach: a toolbox for set-based reachability,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.917628Z

Source-reported events for the cited work

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

Observation b0b88577-b0f6-4355-847a-2c660bb96368 · outbound

This paper cites Verification of neural- network control systems by integrating taylor models and zonotopes,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Verification of neural- network control systems by integrating taylor models and zonotopes,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.907372Z

Source-reported events for the cited work

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

Observation 32c122cf-83b9-4c4c-b806-3b2cecc6081f · outbound

This paper cites Star-based reachability analysis of deep neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Star-based reachability analysis of deep neural networks,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.897688Z

Source-reported events for the cited work

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

Observation 385e6657-e864-4943-a380-096bf9ed9e49 · outbound

This paper cites NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.888236Z

Source-reported events for the cited work

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

Observation e66eeedf-e1c1-4abf-b25b-17d816554a21 · outbound

This paper cites Reachable set estimation for neural network control systems: A simulation-guided approach,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Reachable set estimation for neural network control systems: A simulation-guided approach,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.878123Z

Source-reported events for the cited work

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

Observation cd999463-6b94-489c-be1d-9d144f25b2c6 · outbound

This paper cites Verifying the safety of autonomous systems with neural network controllers,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Verifying the safety of autonomous systems with neural network controllers,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.867280Z

Source-reported events for the cited work

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

Observation c17a8162-cc2f-496d-9652-946e310ea403 · outbound

This paper cites Verisig 2.0: Verification of neural network controllers using Taylor model preconditioning,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Verisig 2.0: Verification of neural network controllers using Taylor model preconditioning,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.857533Z

Source-reported events for the cited work

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

Observation fa601eb2-b550-4473-9fc6-06b2a9809c88 · outbound

This paper cites ReachNN: Reachability analysis of neural-network controlled systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision ReachNN: Reachability analysis of neural-network controlled systems,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.847718Z

Source-reported events for the cited work

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

Observation a6c219a7-6db0-4989-83b4-c97ad9e79016 · outbound

This paper cites ReachNN*: A tool for reachability analysis of neural-network controlled systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision ReachNN*: A tool for reachability analysis of neural-network controlled systems,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.837175Z

Source-reported events for the cited work

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

Observation cb91eb26-9e23-411a-95d6-2e96257d0865 · outbound

This paper cites Reachability analysis for neural feedback systems using regressive polynomial rule inference,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Reachability analysis for neural feedback systems using regressive polynomial rule inference,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.827369Z

Source-reported events for the cited work

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

Observation 205ce0cc-8b32-4e81-bbb4-1249422f1e31 · outbound

This paper cites Formal verification of neural agents in non-deterministic environments,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Formal verification of neural agents in non-deterministic environments,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.816410Z

Source-reported events for the cited work

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

Observation 6c175f74-6376-43cc-b363-f7d27d32d0c2 · outbound

This paper cites OVERT: an algorithm for safety verification of neural network control policies for nonlinear systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision OVERT: an algorithm for safety verification of neural network control policies for nonlinear systems,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.805980Z

Source-reported events for the cited work

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

Observation 7b704113-47b5-4512-9a91-584d0cc948ef · outbound

This paper cites Provably safe neural network controllers via differential dynamic logic,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Provably safe neural network controllers via differential dynamic logic,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.795684Z

Source-reported events for the cited work

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

Observation 6b3624ee-7438-4e5f-ac2e-00a5e109432b · outbound

This paper cites Discrete choice in the presence of numerical uncertainties,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Discrete choice in the presence of numerical uncertainties,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.786594Z

Source-reported events for the cited work

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

Observation e26dec4a-f3a3-4bd8-af73-68762dcdf72e · outbound

This paper cites Compiling kb- sized machine learning models to tiny iot devices,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Compiling kb- sized machine learning models to tiny iot devices,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.777345Z

Source-reported events for the cited work

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

Observation 1d20b3e8-cd63-4255-868e-3611617e1fb6 · outbound

This paper cites Deep learning with limited numerical precision,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Deep learning with limited numerical precision,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.767989Z

Source-reported events for the cited work

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

Observation 90fbb80a-40eb-448b-979a-82b85453ed18 · outbound

This paper cites Scalable verification of quantized neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Scalable verification of quantized neural networks,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.749325Z

Source-reported events for the cited work

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

Observation 1185faad-9808-454f-a11e-f26e4f280861 · outbound

This paper cites Sound mixed fixed-point quantization of neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Sound mixed fixed-point quantization of neural networks,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.738960Z

Source-reported events for the cited work

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

Observation cd123527-bcaa-42b2-b996-a0c72c0742a8 · outbound

This paper cites Towards precision-aware safe neural-controlled cyber-physical systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Towards precision-aware safe neural-controlled cyber-physical systems,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.728936Z

Source-reported events for the cited work

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

Observation 0bc04f95-887d-4770-9503-77ab0396eec0 · outbound

This paper cites Sound mixed-precision optimiza- tion with rewriting,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Sound mixed-precision optimiza- tion with rewriting,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.718726Z

Source-reported events for the cited work

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

Observation a70fa499-50a8-4cc8-84b2-75c6e09d9ba1 · outbound

This paper cites Vivado design suite,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Vivado design suite,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.709126Z

Source-reported events for the cited work

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

Observation 7cdedf2e-e781-448e-8dcc-4517a545d99b · outbound

This paper cites Modelplex: verified runtime validation of verified cyber-physical system models,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Modelplex: verified runtime validation of verified cyber-physical system models,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.699603Z

Source-reported events for the cited work

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

Observation 190a6a25-9e86-4c10-b04a-8e09d3e14a31 · outbound

This paper cites Veriphy: verified controller executables from verified cyber-physical system models,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Veriphy: verified controller executables from verified cyber-physical system models,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.689737Z

Source-reported events for the cited work

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

Observation 4115cdea-f960-465b-8ab8-a81afc99b8c1 · outbound

This paper cites Differential dynamic logic for hybrid systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Differential dynamic logic for hybrid systems,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.679346Z

Source-reported events for the cited work

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

Observation fb1454e8-461a-4f07-87e6-b36f5696b584 · outbound

This paper cites Differential game logic,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Differential game logic,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.668954Z

Source-reported events for the cited work

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

Observation 5ebf4da1-e311-49b8-b537-4bab4d7a1ece · outbound

This paper cites A complete uniform substitution calculus for differential dynamic logic,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision A complete uniform substitution calculus for differential dynamic logic,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.659077Z

Source-reported events for the cited work

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

Observation 75b6d422-7bc1-4ad3-adac-63a1b9a4cd12 · outbound

This paper cites Differential equation invariance axiomatiza- tion,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Differential equation invariance axiomatiza- tion,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.649220Z

Source-reported events for the cited work

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

Observation 7c8f0574-6328-4f02-ba3c-598e9ce12b35 · outbound

This paper cites The complete proof theory of hybrid systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision The complete proof theory of hybrid systems,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.638194Z

Source-reported events for the cited work

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

Observation 600ec39a-372f-4054-977e-d2e0599a0fa2 · outbound

This paper cites Harel, First-Order Dynamic Logic , vol.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Harel, First-Order Dynamic Logic , vol

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.627289Z

Source-reported events for the cited work

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

Observation 157bc189-c264-4415-9f89-c42cd1ca4f71 · outbound

This paper cites Harel, D.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Harel, D

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.617454Z

Source-reported events for the cited work

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

Observation 83f102e6-003b-4a8d-803a-a12e8eb7fc8a · outbound

This paper cites Platzer, Logical Foundations of Cyber-Physical Systems.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Platzer, Logical Foundations of Cyber-Physical Systems

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.606969Z

Source-reported events for the cited work

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

Observation 5d2cb5f5-a5fe-4e38-bb9c-ae847e19d007 · outbound

This paper cites Differential refinement logic,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Differential refinement logic,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.595933Z

Source-reported events for the cited work

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

Observation d430b161-8f80-4a64-8f8e-367819d9eaa1 · outbound

This paper cites Uniform substitution for differential refine- ment logic,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Uniform substitution for differential refine- ment logic,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.584446Z

Source-reported events for the cited work

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

Observation 276875e0-ca7d-45ee-8ce2-1df48dcce475 · outbound

This paper cites Automatic verification of control system implementations,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Automatic verification of control system implementations,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.574722Z

Source-reported events for the cited work

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

Observation 6c2fd855-85c5-429f-9424-182b85d0f895 · outbound

This paper cites Rigorous floating-point mixed-precision tuning,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Rigorous floating-point mixed-precision tuning,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.564450Z

Source-reported events for the cited work

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

Observation 0c620e41-c3c5-4a84-83df-154f0324b8ec · outbound

This paper cites Mixed precision tuning with salsa,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Mixed precision tuning with salsa,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.553993Z

Source-reported events for the cited work

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

Observation 906931f6-eeb1-4457-956a-74ac194e3374 · outbound

This paper cites Fixed- point code synthesis based on constraint generation,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Fixed- point code synthesis based on constraint generation,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.542685Z

Source-reported events for the cited work

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

Observation 6d78d9f6-1ee8-4fcc-bdd9-f600a0b0ed05 · outbound

This paper cites Yesterday, my program worked. today, it does not. why?,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Yesterday, my program worked. today, it does not. why?,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.531967Z

Source-reported events for the cited work

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

Observation 13afe244-508c-4ba3-bcf9-dc07c6077fe5 · outbound

This paper cites Z3: an efficient SMT solver,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Z3: an efficient SMT solver,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.521780Z

Source-reported events for the cited work

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

Observation f5c810d8-a1db-4345-9d9a-eb82d3adb2f9 · outbound

This paper cites Arithmetic solving in Z3,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Arithmetic solving in Z3,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.511082Z

Source-reported events for the cited work

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

Observation fc0652f3-bd18-465f-a2af-e0ec39ff5433 · outbound

This paper cites Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description),.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description),

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.498511Z

Source-reported events for the cited work

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

Observation b06f6aa7-1e8f-49d4-adf5-4ca7d30f8a9c · outbound

This paper cites Mathematica, Version 14.1.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Mathematica, Version 14.1

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.487744Z

Source-reported events for the cited work

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

Observation a9fad279-dfc0-4dd4-9192-521126840f93 · outbound

This paper cites Critically assessing the state of the art in neural network verification,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Critically assessing the state of the art in neural network verification,

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.478706Z

Source-reported events for the cited work

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

Observation 355273d1-d499-4530-b53d-c6a0d738e3c2 · outbound

This paper cites First three years of the international verification of neural networks competition (VNN-COMP),.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision First three years of the international verification of neural networks competition (VNN-COMP),

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.469405Z

Source-reported events for the cited work

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

Observation 6fccdc5f-0fb5-4861-a579-6f19c07f34f8 · outbound

This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.925404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2908b9b8-2c2a-4cea-9b3b-34660e73615f · outbound

This paper cites A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system,

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.458843Z

Source-reported events for the cited work

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

Observation e32d8229-a026-41b7-a162-b87801cd81df · outbound

This paper cites A formally verified plasma vertical position control algorithm,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision A formally verified plasma vertical position control algorithm,

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.447958Z

Source-reported events for the cited work

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

Observation 5e9b86e4-a77f-44f1-acda-63ee5f574bd9 · outbound

This paper cites Formal development of safe automated driving using differential dynamic logic,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Formal development of safe automated driving using differential dynamic logic,

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.436226Z

Source-reported events for the cited work

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

Observation dbe74a85-6ec4-43a7-89c3-56f3f7ab4f06 · outbound

This paper cites The image computation problem in hybrid systems model checking,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision The image computation problem in hybrid systems model checking,

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.425674Z

Source-reported events for the cited work

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

Observation c0e49953-220d-4ca3-bf46-152bbaa72691 · outbound

This paper cites KeYmaera X: an axiomatic tactical theorem prover for hybrid systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision KeYmaera X: an axiomatic tactical theorem prover for hybrid systems,

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.413711Z

Source-reported events for the cited work

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

Observation b02271fd-8665-4d27-a72a-81341efc74d2 · outbound

This paper cites Verified train controllers for the federal railroad administration train kinematics model: Balancing competing brake and track forces,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Verified train controllers for the federal railroad administration train kinematics model: Balancing competing brake and track forces,

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.401990Z

Source-reported events for the cited work

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

Observation c43b682e-e0f5-4ae0-8077-ad1521252a18 · outbound

This paper cites European train control system: A case study in formal verification,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision European train control system: A case study in formal verification,

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.391345Z

Source-reported events for the cited work

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

Observation 03e12857-2c68-4a43-8e2e-4d8c8e5f7fba · outbound

This paper cites A formal safety net for waypoint-following in ground robots,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision A formal safety net for waypoint-following in ground robots,

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.379812Z

Source-reported events for the cited work

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

Observation 4f44a8ec-9208-4da1-80a6-7f4bf703c6b2 · outbound

This paper cites Verification of autonomous neural car control with KeYmaera X,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Verification of autonomous neural car control with KeYmaera X,

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.368735Z

Source-reported events for the cited work

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

Observation a3cee814-3112-4b7c-b2b0-04287e97e892 · outbound

This paper cites CESAR: control enve- lope synthesis via angelic refinements,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision CESAR: control enve- lope synthesis via angelic refinements,

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.357852Z

Source-reported events for the cited work

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

Observation 8fb742a8-737e-4ca2-8797-2ce1ba6691e7 · outbound

This paper cites samysweb/NCubeV: v0.9,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision samysweb/NCubeV: v0.9,

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.346457Z

Source-reported events for the cited work

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

Observation 880c65a9-a5c0-497c-99b0-9ddc46749cf0 · outbound

This paper cites PicoSAT essentials,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision PicoSAT essentials,

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.331192Z

Source-reported events for the cited work

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

Observation f58d2036-d371-4b78-a1ab-e859aef74c30 · outbound

This paper cites Optimizing the next generation collision avoidance system for safe, suitable, and acceptable operational performance,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Optimizing the next generation collision avoidance system for safe, suitable, and acceptable operational performance,

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.320659Z

Source-reported events for the cited work

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

Observation 85e5d85d-7082-4bd4-b8cf-4a73f52eb8da · outbound

This paper cites Next generation airborne collision avoidance system,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Next generation airborne collision avoidance system,

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.310221Z

Source-reported events for the cited work

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

Observation e4325762-4533-4a79-92bd-fdaf467792e0 · outbound

This paper cites POLAR: A polynomial arithmetic framework for verifying neural-network controlled systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision POLAR: A polynomial arithmetic framework for verifying neural-network controlled systems,

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.300656Z

Source-reported events for the cited work

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

Observation 943c0322-a4a7-4733-b90f-11b7e3b511aa · outbound

This paper cites Generation of Lyapunov functions by neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Generation of Lyapunov functions by neural networks,

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.290694Z

Source-reported events for the cited work

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

Observation 5d167b80-a312-4ed3-b27f-0bc92abeb166 · outbound

This paper cites The Lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision The Lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems,

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.280615Z

Source-reported events for the cited work

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

Observation bcff684e-b844-4faa-964d-ea25fee65201 · outbound

This paper cites Automated and formal syn- thesis of neural barrier certificates for dynamical models,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Automated and formal syn- thesis of neural barrier certificates for dynamical models,

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.270508Z

Source-reported events for the cited work

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

Observation b860bae2-6eeb-4208-b392-7fc71ee75216 · outbound

This paper cites Formal synthesis of Lyapunov neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Formal synthesis of Lyapunov neural networks,

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.260316Z

Source-reported events for the cited work

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

Observation 100a5b4b-24fb-4879-86a2-12aa7d38f5c3 · outbound

This paper cites FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.250477Z

Source-reported events for the cited work

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

Observation 2b4faaae-9f6b-423b-b2d5-b3e1bfc1f24a · outbound

This paper cites Approximate conformance checking for closed-loop systems with neural network controllers,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Approximate conformance checking for closed-loop systems with neural network controllers,

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.239609Z

Source-reported events for the cited work

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

Observation f2a821ca-20cb-46c9-964b-ac76339933ee · outbound

This paper cites Verifying equivalence properties of neural networks with relu activation functions,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Verifying equivalence properties of neural networks with relu activation functions,

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.229235Z

Source-reported events for the cited work

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

Observation d4aedb5c-3fda-47f6-aff2-6f3c67510e21 · outbound

This paper cites ReluDiff: Differential Verification of Deep Neural Networks.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision ReluDiff: Differential Verification of Deep Neural Networks

Reference 87

Resolution: verified exact; local_arxiv, observed 2026-08-06T11:37:02.077220Z

Source-reported events for the cited work

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

Observation 1c78fd7d-9439-474d-a13c-44626a37116b · outbound

This paper cites QVIP: an ilp-based formal verification approach for quantized neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision QVIP: an ilp-based formal verification approach for quantized neural networks,

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.218325Z

Source-reported events for the cited work

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

Observation 8c173cbc-ecc8-42e5-8134-7c825c635e11 · outbound

This paper cites Towards efficient verification of quantized neural networks,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Towards efficient verification of quantized neural networks,

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.207346Z

Source-reported events for the cited work

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

Observation e92dcfe8-5e98-42b8-946a-1e49147cccd8 · outbound

This paper cites Fast and efficient bit-level precision tuning,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Fast and efficient bit-level precision tuning,

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.196649Z

Source-reported events for the cited work

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

Observation 8ab42709-2632-4f2c-99b2-833653e82a74 · outbound

This paper cites Shiftry: RNN inference in 2KB of RAM,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Shiftry: RNN inference in 2KB of RAM,

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.185654Z

Source-reported events for the cited work

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

Observation 36f07ea7-0eab-41da-9752-94200cc9352c · outbound

This paper cites Energy-efficient neural network ac- celerator based on outlier-aware low-precision computation,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Energy-efficient neural network ac- celerator based on outlier-aware low-precision computation,

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.173873Z

Source-reported events for the cited work

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

Observation 1113a164-b2f6-480b-8caf-cc5ba81c717c · outbound

This paper cites Bit fusion: Bit-level dynamically composable archi- tecture for accelerating deep neural network,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Bit fusion: Bit-level dynamically composable archi- tecture for accelerating deep neural network,

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.162947Z

Source-reported events for the cited work

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

Observation 865b0506-f47d-4256-b6e4-d65d33dc1cb6 · outbound

This paper cites DRQ: dynamic region-based quantization for deep neural network acceleration,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision DRQ: dynamic region-based quantization for deep neural network acceleration,

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.152741Z

Source-reported events for the cited work

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

Observation c7cc1394-6eb7-4e64-80ec-3fe907db9c2a · outbound

This paper cites Rigorous floating-point to fixed-point quantization of deep neural networks on STM32 micro-controllers,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Rigorous floating-point to fixed-point quantization of deep neural networks on STM32 micro-controllers,

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.141456Z

Source-reported events for the cited work

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

Observation 83c44231-cd1e-4ded-9d49-cb9d62d445fc · outbound

This paper cites Reflections on 10 years of flopoco,.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Reflections on 10 years of flopoco,

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:37:02.129861Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers