Paper Citation Record · LEDGER

Multiobjective Preexpectation Reasoning for Probabilistic Programs

As of 21 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2608.13268.

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

pith.paper-citation-record.v1
2608.13268 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T15:11:07.417677Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

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

44 of 44 outbound references displayed

verified exact12
verified fuzzy5
unresolved17
parse uncertain0
malformed identifier7
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9bd1f7f0-f419-4d3d-b065-41885e7cabf2 · outbound

This paper cites 1995.Domain theory.

Multiobjective Preexpectation Reasoning for Probabilistic Programs 1995.Domain theory

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T15:11:08.204900Z

Source-reported events for the cited work

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

Observation 265948c6-9826-47b5-b5b7-159eb7810830 · outbound

This paper cites 9035), Christel Baier and Cesare Tinelli (Eds.).

Multiobjective Preexpectation Reasoning for Probabilistic Programs 9035), Christel Baier and Cesare Tinelli (Eds.)

Reference 5

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.722975Z

Source-reported events for the cited work

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

Observation cc8ad59b-91f2-4a2e-8490-1453d633b03e · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.675227Z

Source-reported events for the cited work

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

Observation 1b2f215a-f268-475c-a3a8-11c734f2ccb4 · outbound

This paper cites 8054), Kaustubh R.

Multiobjective Preexpectation Reasoning for Probabilistic Programs 8054), Kaustubh R

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.289391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fd7889a-8fee-459d-802f-76547587f8dd · outbound

This paper cites 7211), Helmut Seidl (Ed.).

Multiobjective Preexpectation Reasoning for Probabilistic Programs 7211), Helmut Seidl (Ed.)

Reference 14

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.632248Z

Source-reported events for the cited work

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

Observation 4d88a2d7-5526-4347-9503-922b18506a60 · outbound

This paper cites Methods Comput.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Methods Comput

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.305108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b772dcd8-e93a-493f-bb1c-36045dbc80ed · outbound

This paper cites In Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings (Lecture Notes in Computer Science, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs In Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings (Lecture Notes in Computer Science, Vol

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-14T15:11:07.308758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf777553-8f31-42c6-9d50-ffaaba7f99cf · outbound

This paper cites 6605), Parosh Aziz Abdulla and K.

Multiobjective Preexpectation Reasoning for Probabilistic Programs 6605), Parosh Aziz Abdulla and K

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.320480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2996ce70-91b8-45d3-a53d-3d765901959f · outbound

This paper cites InAutomated Technology for Verification and Analysis - 10th International Symposium, ATV A 2012, Thiruvananthapuram, India, October 3-6,.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InAutomated Technology for Verification and Analysis - 10th International Symposium, ATV A 2012, Thiruvananthapuram, India, October 3-6,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:11:08.274811Z

Source-reported events for the cited work

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

Observation d3c5e0cb-1354-4fa6-b040-c7d31f08b7b1 · outbound

This paper cites 7561), Supratik Chakraborty and Madhavan Mukund (Eds.).

Multiobjective Preexpectation Reasoning for Probabilistic Programs 7561), Supratik Chakraborty and Madhavan Mukund (Eds.)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.328001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc4361dd-33fb-4776-a3b9-44d6196b3500 · outbound

This paper cites ACM Program.

Multiobjective Preexpectation Reasoning for Probabilistic Programs ACM Program

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.331853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78d01172-2262-46e1-b503-ad4eaa87b9ad · outbound

This paper cites Methods Comput.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Methods Comput

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.347379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bed1c74-2d0c-4dd8-982b-bc870ad067a7 · outbound

This paper cites InProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, Jeffrey S.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, Jeffrey S

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.360356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a61760c8-98a0-4544-9577-1574974d6f3b · outbound

This paper cites Comput.23, 4 (2011), 493–517.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Comput.23, 4 (2011), 493–517

Reference 32

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.515675Z

Source-reported events for the cited work

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

Observation e64c25c7-e25c-468c-ab48-bc662b96fc4c · outbound

This paper cites InAutomata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings (Lecture Notes in Computer Science, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InAutomata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings (Lecture Notes in Computer Science, Vol

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.376458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a511a36-1a64-4af8-864d-8fc4e5c2c7e1 · outbound

This paper cites InPLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, Stephen N.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InPLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, Stephen N

Reference 40

Resolution: malformed identifier; no resolver link, observed 2026-08-14T15:11:07.401526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cb554f5-851f-4e5f-9fa5-c67bb439d31d · outbound

This paper cites Raising Expectations: Automating Expected Cost Analysis with Types.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Raising Expectations: Automating Expected Cost Analysis with Types

Reference 41

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T15:11:07.738908Z

Source-reported events for the cited work

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

Observation 12334431-7343-42e1-8a2d-bb16b455ce11 · outbound

This paper cites InProceedings of the 35th International Joint Conference on Artificial Intelligence and the 29th European Conference on Artificial Intelligence (IJCAI-ECAI 2026).

Multiobjective Preexpectation Reasoning for Probabilistic Programs InProceedings of the 35th International Joint Conference on Artificial Intelligence and the 29th European Conference on Artificial Intelligence (IJCAI-ECAI 2026)

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:11:08.217213Z

Source-reported events for the cited work

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

Observation 3fb904f2-abf9-4534-8ca6-69a6279ef0e0 · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Reducing urban traffic congestion due to localized routing decisions

Reference 299

Resolution: malformed identifier; no resolver link, observed 2026-08-14T15:11:07.397285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00eea400-f881-4825-a478-97d4711228ce · outbound

This paper cites Math.5, 2 (1955), 285–309.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Math.5, 2 (1955), 285–309

Reference 1955

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:11:08.246966Z

Source-reported events for the cited work

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

Observation 4da9d191-5b7b-4d8f-8797-822e21adfbb9 · outbound

This paper cites InAbstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings (Lecture Notes in Computer Science, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InAbstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings (Lecture Notes in Computer Science, Vol

Reference 1979

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.528835Z

Source-reported events for the cited work

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

Observation 377a58b0-bc39-4621-a723-7cc58c1d28e6 · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 1982

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.459322Z

Source-reported events for the cited work

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

Observation 9b3587ec-5629-4db7-99ef-26ab84d65843 · outbound

This paper cites Control Optim.21, 3 (May 1983), 490–499.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Control Optim.21, 3 (May 1983), 490–499

Reference 1983

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.570876Z

Source-reported events for the cited work

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

Observation 0de0e65d-ee48-44fb-ba83-013358eaee49 · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 1985

Resolution: malformed identifier; no resolver link, observed 2026-08-14T15:11:07.351382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ab6256-195c-4321-8ab0-be87ff0d32e8 · outbound

This paper cites https://doi.org/10.1016/0377- 2217(93)90192-P Valeriu Soltan.

Multiobjective Preexpectation Reasoning for Probabilistic Programs https://doi.org/10.1016/0377- 2217(93)90192-P Valeriu Soltan

Reference 1993

Resolution: malformed identifier; no resolver link, observed 2026-08-14T15:11:07.380502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44a3a06c-abe7-48be-a7fc-96fbafb375e3 · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 1996

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T15:11:08.002929Z

Source-reported events for the cited work

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

Observation 496cb5fa-cff3-4d80-ada2-0b1c25f39757 · outbound

This paper cites InWorkshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998 (Electronic Notes in Theoretical Computer Science, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InWorkshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998 (Electronic Notes in Theoretical Computer Science, Vol

Reference 1998

Resolution: malformed identifier; doi_truncated, observed 2026-08-14T15:11:07.473537Z

Source-reported events for the cited work

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

Observation 5bc7eec3-921a-436f-b2d4-bc9c4a5aa4cf · outbound

This paper cites In17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings.

Multiobjective Preexpectation Reasoning for Probabilistic Programs In17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings

Reference 2002

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:11:08.232460Z

Source-reported events for the cited work

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

Observation 9a5fd2e8-18ad-4a1e-87c6-ba3e4d747de6 · outbound

This paper cites InSTACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (Lecture Notes in Computer Science, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InSTACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (Lecture Notes in Computer Science, Vol

Reference 2006

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.662045Z

Source-reported events for the cited work

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

Observation f88f2f0f-efb2-4c23-89c7-8f6995b6cddd · outbound

This paper cites https://doi.org/10.1007/S11225-007-9052-Y Krishnendu Chatterjee.

Multiobjective Preexpectation Reasoning for Probabilistic Programs https://doi.org/10.1007/S11225-007-9052-Y Krishnendu Chatterjee

Reference 2007

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.688531Z

Source-reported events for the cited work

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

Observation 4b59193b-4005-403f-ab6b-df0a31f6a3db · outbound

This paper cites InMachine Learning, Proceedings of the Twenty-Fifth International Conference (ICML 2008), Helsinki, Finland, June 5-9, 2008 (ACM International Conference Proceeding Series, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InMachine Learning, Proceedings of the Twenty-Fifth International Conference (ICML 2008), Helsinki, Finland, June 5-9, 2008 (ACM International Conference Proceeding Series, Vol

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.249622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9d7f6b9-fe42-4941-a4dd-9dabe7f49cfb · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 2009

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.557056Z

Source-reported events for the cited work

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

Observation cd72621b-a024-4407-961f-b99da736270b · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 2011

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:11:08.288127Z

Source-reported events for the cited work

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

Observation a387f96c-bcba-4601-a0fa-4d430ddbdc06 · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 2012

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:11:08.313198Z

Source-reported events for the cited work

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

Observation f615fee6-5117-4760-b2ac-08626ef9d0f4 · outbound

This paper cites 8087), Krishnendu Chatterjee and Jirí Sgall (Eds.).

Multiobjective Preexpectation Reasoning for Probabilistic Programs 8087), Krishnendu Chatterjee and Jirí Sgall (Eds.)

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.284327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f359a6ec-249c-4284-92aa-61ea9bf8c871 · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 2015

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:11:08.324533Z

Source-reported events for the cited work

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

Observation fcda0297-faf3-409d-804b-b5bba04dce8f · outbound

This paper cites https://agentmodels.org.

Multiobjective Preexpectation Reasoning for Probabilistic Programs https://agentmodels.org

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:11:08.301017Z

Source-reported events for the cited work

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

Observation ed7db7be-eb3a-48bc-9a8d-7fda7df5c3e9 · outbound

This paper cites ACM65, 5 (2018), 30:1–30:68.

Multiobjective Preexpectation Reasoning for Probabilistic Programs ACM65, 5 (2018), 30:1–30:68

Reference 2018

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T15:11:08.259526Z

Source-reported events for the cited work

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

Observation 31a6d54a-ea39-4ba6-8253-fd5daa3e3d98 · outbound

This paper cites an unresolved cited work.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Unresolved cited work

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.245506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bc14d46-fdaf-4899-8a8c-4d5ecffd5e11 · outbound

This paper cites InComputer Aided Verification - 33rd International Conference, CA V 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, Vol.

Multiobjective Preexpectation Reasoning for Probabilistic Programs InComputer Aided Verification - 33rd International Conference, CA V 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, Vol

Reference 2021

Resolution: verified exact; doi, observed 2026-08-14T15:11:07.710504Z

Source-reported events for the cited work

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

Observation cc6d6491-3753-4510-8fa6-c03e7475dbbd · outbound

This paper cites ACM Program.

Multiobjective Preexpectation Reasoning for Probabilistic Programs ACM Program

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.268631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c7efcf0-8ba2-4d9e-9dbe-e0bf10fc37ae · outbound

This paper cites ACM Program.

Multiobjective Preexpectation Reasoning for Probabilistic Programs ACM Program

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.300802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c655dddc-f691-4cb0-b730-e7aefd0fba3c · outbound

This paper cites ACM Program.

Multiobjective Preexpectation Reasoning for Probabilistic Programs ACM Program

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-14T15:11:07.417677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90cb1692-722e-477f-bc64-8db099a189ec · outbound

This paper cites Caesar: A Deductive Verifier for Probabilistic Programs.

Multiobjective Preexpectation Reasoning for Probabilistic Programs Caesar: A Deductive Verifier for Probabilistic Programs

Reference 2026

Resolution: verified exact; local_arxiv, observed 2026-08-14T15:11:07.503219Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.