Paper Citation Record · LEDGER

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata

As of 20 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2506.14581.

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

pith.paper-citation-record.v1
2506.14581 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:58:32.089360Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

38 of 38 outbound references displayed

verified exact13
verified fuzzy4
unresolved14
parse uncertain0
malformed identifier6
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0aa9c2e7-55b3-459a-87a1-0e2bedb54194 · outbound

This paper cites In: Bridging the Gap Between AI and Reality.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Bridging the Gap Between AI and Reality

Reference 1

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.657317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0f6fa296-2cd3-47c5-9659-0e0f94429191 · outbound

This paper cites In: Formal Methods.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Formal Methods

Reference 2

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.609452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 68c4dcb7-8b1d-4b22-9111-7157a39b5f63 · outbound

This paper cites Theoretical Computer Science 138, 3–34 (1995).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Theoretical Computer Science 138, 3–34 (1995)

Reference 3

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:58:33.874199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f34dd9c5-07dd-49ca-8c21-8dfc1b8292bf · outbound

This paper cites In: Hybrid systems, pp.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Hybrid systems, pp

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.477324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6aba7e0d-d9e1-4109-8e61-00b72be78e7a · outbound

This paper cites International Journal on Software Tools for Technology Transfer21(1), 87–104 (2019).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata International Journal on Software Tools for Technology Transfer21(1), 87–104 (2019)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:58:33.729556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9e3669ca-7920-460d-8802-a01e1de17d19 · outbound

This paper cites Logical Methods in Comp.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Logical Methods in Comp

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.487234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a9cb3e5-9dcd-4367-aec2-649e92c580e8 · outbound

This paper cites In: Leveraging Applications of Formal Methods, Verification and Validation.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Leveraging Applications of Formal Methods, Verification and Validation

Reference 7

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.585678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d866b75c-f0bf-409b-964a-da66132d0eef · outbound

This paper cites In: Integrated Formal Methods.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Integrated Formal Methods

Reference 8

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.573230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 89426e10-5c62-4a4d-ba9d-c4a5e4fa9b02 · outbound

This paper cites In: 24th Int.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: 24th Int

Reference 9

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.538906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4728a5a3-cda6-4e23-b744-f13e94655d29 · outbound

This paper cites Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.508313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3510d73c-8d78-4e85-9dd7-8570a3e733a3 · outbound

This paper cites In: Provably Correct Systems, pp.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Provably Correct Systems, pp

Reference 11

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:58:33.628063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dea0f5d1-5a1e-47d5-a724-0cd78af6b98b · outbound

This paper cites Energies 11, 306 (2018).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Energies 11, 306 (2018)

Reference 13

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:58:33.611113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e83ef51e-1dc6-440a-be4f-50886d4fc9b9 · outbound

This paper cites In: IEEE Trans.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: IEEE Trans

Reference 14

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T19:58:32.945549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 981158d3-d48a-41f0-8bf6-a14841160f84 · outbound

This paper cites International Journal on Software Tools for Technology Transfer17(4), 397–415 (2015).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata International Journal on Software Tools for Technology Transfer17(4), 397–415 (2015)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.563089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec8b4a56-0270-43fc-8299-4dafad3ca0e9 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.694554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfe90fe3-a058-45c8-a442-a57d20d369b8 · outbound

This paper cites In: 17th Int.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: 17th Int

Reference 17

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.455881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6be669d8-8dbe-4e00-96cb-e915351287fc · outbound

This paper cites In: 16th Int.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: 16th Int

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.780790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcee94e3-0ca0-44f0-aece-b18f209f9ec4 · outbound

This paper cites In: International Symposium on Formal Methods.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: International Symposium on Formal Methods

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.784600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a92b077f-99a6-4766-b86a-ac713f1ce17c · outbound

This paper cites In: Proceedings of the 16th Int.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Proceedings of the 16th Int

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.789622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e10b3111-e2fd-45de-bb96-d20a58cf7ed5 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.793000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ee2f06f-e9da-4bc6-a2ad-9a9125c676e9 · outbound

This paper cites In: Verification of digital and hybrid systems, pp.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Verification of digital and hybrid systems, pp

Reference 22

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:58:33.552838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 88aeaf1e-003e-4cd2-80f6-9d8122d250f9 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:58:33.415221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 57b3d8a1-078d-4083-851b-9d58a4e12b14 · outbound

This paper cites London (2014).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata London (2014)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.805030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68128ea5-3082-4dc8-b0a6-96ef2810f574 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.406997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 13fc5334-2cc0-4496-8dfa-3f22f250b9ac · outbound

This paper cites In: Formal Techniques for Safety-Critical Systems: 4th In- ternational Workshop.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Formal Techniques for Safety-Critical Systems: 4th In- ternational Workshop

Reference 26

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:58:33.400870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f2a8592e-2083-47b7-b33d-76e5db762777 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.391169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 130c81ff-9e77-4165-bccf-49bcb89fca41 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.369267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 65885f01-7a60-4c94-9d84-cfe35d328024 · outbound

This paper cites European Journal of Control16(6), 583–594 (2010).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata European Journal of Control16(6), 583–594 (2010)

Reference 29

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.315169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 048669ef-9345-400b-be06-674387e35471 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.980132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db610c6a-9e60-4e6d-82ab-3c46efc940c0 · outbound

This paper cites Journal of Automated Reasoning 41(2), 143–189 (2008).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Journal of Automated Reasoning 41(2), 143–189 (2008)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:31.984615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 226d56e4-56a7-401d-9cf2-b179d929b1c1 · outbound

This paper cites ACM Trans- actions on Modeling and Computer Simulation33(4) (2023).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata ACM Trans- actions on Modeling and Computer Simulation33(4) (2023)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:58:33.289821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e625555f-88e9-4cab-bf9c-a1094dcd4dcc · outbound

This paper cites https://de.mathworks.com/products/simulink.html.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata https://de.mathworks.com/products/simulink.html

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:58:33.190976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b8b4f961-5757-462a-ba12-5ef30ee5d140 · outbound

This paper cites In: Quantitative Evaluation of Systems - 20th Modeling Uncertainty in Simulink and SHA 25 Int.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Quantitative Evaluation of Systems - 20th Modeling Uncertainty in Simulink and SHA 25 Int

Reference 34

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.211809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 803ce86d-15d0-46d0-9b84-4b4b0d997bff · outbound

This paper cites In: Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:58:33.176568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c6287521-b901-41fe-ac17-a7ea5c926223 · outbound

This paper cites Journal of the American Statistical Association 22(158), 209–212 (1927).

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Journal of the American Statistical Association 22(158), 209–212 (1927)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T19:58:32.004345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d78291f-22e6-44e5-a3be-95382dd8be63 · outbound

This paper cites an unresolved cited work.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Unresolved cited work

Reference 37

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:58:33.092380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 467bf29c-a14b-48fb-9647-a333f2ebfef9 · outbound

This paper cites In: Proceedings of the 15th ACM Int.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Proceedings of the 15th ACM Int

Reference 38

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.192845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 976dbbe3-d32d-42e4-9b5a-6eacc6130b93 · outbound

This paper cites Formal Methods in System Design pp.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Formal Methods in System Design pp

Reference 39

Resolution: verified exact; doi, observed 2026-08-15T19:58:32.178269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.