Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T18:46:41.350911Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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
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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+00:00.
Pith citing papers
No inbound Pith citation observations are available.