Paper Citation Record · LEDGER

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach

As of 13 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2411.11310.

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

pith.paper-citation-record.v1
2411.11310 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T18:46:41.350911Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

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

17 of 17 outbound references displayed

verified exact0
verified fuzzy11
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 58a1474b-e95b-4657-b675-a0c468111d41 · outbound

This paper cites From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T18:46:41.252831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63ba9064-8305-400e-b174-f8b39054a6fe · outbound

This paper cites Data-driven control of large-scale networks with formal guarantees: A small-gain free approach.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Data-driven control of large-scale networks with formal guarantees: A small-gain free approach

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T18:46:41.320831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba75c7e2-d094-4443-a0f0-fdcce7aa926a · outbound

This paper cites Autodrive simulator: A simulator for scaled autonomous vehicle research and education.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Autodrive simulator: A simulator for scaled autonomous vehicle research and education

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.602747Z

Source-reported events for the cited work

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

Observation 6df7ddb9-4d3f-4326-90de-56f8537c657f · outbound

This paper cites MuJoCo: A physics engine for model-based control.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach MuJoCo: A physics engine for model-based control

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.585387Z

Source-reported events for the cited work

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

Observation c9ceba6d-e218-41fa-a955-0f8556ad0b1e · outbound

This paper cites Pybullet, a python module for physics simulation for games, robotics and machine learning.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Pybullet, a python module for physics simulation for games, robotics and machine learning

Reference 1976

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.733995Z

Source-reported events for the cited work

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

Observation 19a047bf-7143-4810-bbef-78772de76635 · outbound

This paper cites Design of reward functions based on the ddqn algorithm.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Design of reward functions based on the ddqn algorithm

Reference 1996

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.566847Z

Source-reported events for the cited work

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

Observation 3e301724-cfc6-4473-b64d-05200272845a · outbound

This paper cites Sim-to-Real: Learning Agile Locomotion For Quadruped Robots.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Sim-to-Real: Learning Agile Locomotion For Quadruped Robots

Reference 2012

Resolution: unresolved; no resolver link, observed 2026-08-12T18:46:41.338710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31dea5a4-5522-4a39-bb6b-7e70631c1a14 · outbound

This paper cites LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-12T18:46:41.302196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49fa79bc-a455-421e-b22e-c1923c29ee6f · outbound

This paper cites From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-12T18:46:41.308317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f646b22e-bcb6-4aeb-9fe5-7c05f39f45fa · outbound

This paper cites Unreal engine 4.22.1.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Unreal engine 4.22.1

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.715547Z

Source-reported events for the cited work

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

Observation f4498b81-f678-48c1-9169-4797d9150f44 · outbound

This paper cites Learning a Formally Verified Control Barrier Function in Stochastic Environment.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Learning a Formally Verified Control Barrier Function in Stochastic Environment

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-12T18:46:41.344517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81901ce9-351e-42a8-b83d-5e7a77e237e0 · outbound

This paper cites Koenig and A.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Koenig and A

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.661175Z

Source-reported events for the cited work

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

Observation 55d99b35-2d06-45bf-b395-53f7f28dca01 · outbound

This paper cites Control barrier functions for unknown nonlinear systems using Gaussian processes.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Control barrier functions for unknown nonlinear systems using Gaussian processes

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.680777Z

Source-reported events for the cited work

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

Observation 9b9d816c-a33e-41a0-92ab-dcf9fd169ef3 · outbound

This paper cites Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning

Reference 2021

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.640828Z

Source-reported events for the cited work

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

Observation 0573fd5e-6394-40c4-b762-1c1d1763d11b · outbound

This paper cites Data-driven control of nonlinear systems: Beyond polynomial dynamics.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Data-driven control of nonlinear systems: Beyond polynomial dynamics

Reference 2022

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.621033Z

Source-reported events for the cited work

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

Observation 21e10678-6e16-4ba8-9124-effd0a9e2521 · outbound

This paper cites Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.698248Z

Source-reported events for the cited work

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

Observation 2593e8fa-d182-4aa6-8d99-f75b4828f0b0 · outbound

This paper cites Safety-critical controller verification via sim2real gap quan- tification.

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach Safety-critical controller verification via sim2real gap quan- tification

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:46:41.753076Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.