Paper Citation Record · LEDGER

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

As of 11 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 1 inbound Pith citation observation for arXiv:2501.01191.

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

pith.paper-citation-record.v1
2501.01191 v3

Coverage vector

measured 65 of 65 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:46:05.745194Z

measured 66 of 66 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:53:52.599449Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-06T20:53:53.342148Z

Reference resolution

65 of 65 outbound references displayed

verified exact2
verified fuzzy52
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 42a295d9-4e47-46c4-9311-3669d8c418a8 · outbound

This paper cites Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.826762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f19286dd-6b91-4780-bc32-0416ce543f2d · outbound

This paper cites Stochastic omega-regular verification and control with supermartingales.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Stochastic omega-regular verification and control with supermartingales

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.813842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 19028aa7-b0d3-4281-bc87-7340d318dd8e · outbound

This paper cites Set propagation techniques for reachability analysis.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Set propagation techniques for reachability analysis

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.801371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 30b7be00-1067-46da-8426-bd21a6e507c0 · outbound

This paper cites Henzinger, Orna Kupferman, and Moshe Y.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Henzinger, Orna Kupferman, and Moshe Y

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.787069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 91e59849-90fc-4b97-aa78-1cb42db7c83b · outbound

This paper cites an unresolved cited work.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:46:06.774079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d2a6c672-7b4f-4bb3-a909-6f2ad6470ac0 · outbound

This paper cites Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.759707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ae775952-2f38-4bd3-987c-7c4eaa0c8bfa · outbound

This paper cites Badings, Licio Romao, Alessandro Abate, and Nils Jansen.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Badings, Licio Romao, Alessandro Abate, and Nils Jansen

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.746399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a1881519-7fe8-4914-bc71-a2c43c7446ce · outbound

This paper cites Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.733324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1a5178c2-6f9b-42bc-a83a-5d138d4fdd82 · outbound

This paper cites Badings, Licio Romao, Alessandro Abate, and Nils Jansen.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Badings, Licio Romao, Alessandro Abate, and Nils Jansen

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.720485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation af80c186-7231-499d-a976-40e2aa9927ae · outbound

This paper cites Principles of model checking.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Principles of model checking

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.488080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2bf05bf-e7cc-4752-af5d-cf9d53d0bb85 · outbound

This paper cites Herbert, and Claire J.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Herbert, and Claire J

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.701167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8738393c-5208-412b-b6b1-d8332d9887ba · outbound

This paper cites Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version].

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:46:05.969576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e02aad15-ec37-4b35-b942-5faefcffc3d9 · outbound

This paper cites Formal methods for discrete-time dynamical systems, volume 15.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Formal methods for discrete-time dynamical systems, volume 15

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.687933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bb5b0a38-539d-405d-bd79-3168302dbe71 · outbound

This paper cites Bertsekas and Steven E.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Bertsekas and Steven E

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.675070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2585c88e-64b6-4590-bce7-70c3c6480792 · outbound

This paper cites an unresolved cited work.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.512218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e994cb6-4d2b-4e82-81e1-9418b8498516 · outbound

This paper cites Campi, Algo Car \` e , and Simone Garatti.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Campi, Algo Car \` e , and Simone Garatti

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.548422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f3e3b2ad-fd33-4f80-b561-5764f627e8b4 · outbound

This paper cites The use of confidence or fiducial limits illustrated in the case of the binomial.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems The use of confidence or fiducial limits illustrated in the case of the binomial

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.520314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df81fee4-326c-4dec-a2d8-0d9c6efe1366 · outbound

This paper cites Data-driven abstractions for verification of linear systems.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-driven abstractions for verification of linear systems

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.527443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ce2a61e2-b82a-4e67-b62d-3fc49ed72aea · outbound

This paper cites Interval markov decision processes with continuous action-spaces.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Interval markov decision processes with continuous action-spaces

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.513598Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 961e3f86-2aa4-434c-96e9-5db81c561d56 · outbound

This paper cites Symbolic abstractions from data: A PAC learning approach.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Symbolic abstractions from data: A PAC learning approach

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.500627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d307295e-f494-4c12-a3bd-32cc9276bc9b · outbound

This paper cites Controller synthesis made real: Reach-avoid specifications and linear dynamics.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Controller synthesis made real: Reach-avoid specifications and linear dynamics

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.488516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c06f5158-bb07-40b2-8540-2fdb33cbfa68 · outbound

This paper cites Leach, and Thomas L.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Leach, and Thomas L

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.476239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7a04eaae-b885-45f7-88c0-a545e187952f · outbound

This paper cites Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.462873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1c91c915-9d15-4fe8-86ec-1cecd72fc6af · outbound

This paper cites Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.550608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fe50422-b4fb-44b1-aaa7-8385a355ae4f · outbound

This paper cites Dimarogonas.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Dimarogonas

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.449521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4bea126e-647e-4c90-ab3e-c8f4f978578f · outbound

This paper cites Probabilistic logical characterization.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Probabilistic logical characterization

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.434113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5e285f20-e62b-411e-85d1-898fb7863eb4 · outbound

This paper cites an unresolved cited work.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:46:06.421969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 74d928af-1268-44cd-a85c-3eeb5e8e68d1 · outbound

This paper cites Frew, and Morteza Lahijanian.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Frew, and Morteza Lahijanian

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.409688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5eb21e17-538e-4945-9578-043305ec0d9e · outbound

This paper cites Data-Driven Abstraction-Based Control Synthesis.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-Driven Abstraction-Based Control Synthesis

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:46:05.848165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation aa578389-1ea2-4286-beb5-bc94db6f85ab · outbound

This paper cites Nonlinear systems, volume 3.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Nonlinear systems, volume 3

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.576680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07a0af33-0a76-437b-a952-faf4bab3b1a9 · outbound

This paper cites Kwiatkowska, Gethin Norman, and David Parker.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Kwiatkowska, Gethin Norman, and David Parker

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.390233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cac2ae13-aacd-4a3d-adac-4f2ab5ed540a · outbound

This paper cites Andersson, and Calin Belta.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Andersson, and Calin Belta

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.379013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ee02f646-5df6-4967-8f5d-bdf2abd5ab60 · outbound

This paper cites Bisimulation through probabilistic testing.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Bisimulation through probabilistic testing

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.368233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e71f5353-213e-45ac-bca5-443f5b085fa3 · outbound

This paper cites Automated verification and synthesis of stochastic hybrid systems: A survey.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Automated verification and synthesis of stochastic hybrid systems: A survey

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.356661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a51ede2b-38ad-4cf7-9947-00d22cfc4633 · outbound

This paper cites Constructing mdp abstractions using data with formal guarantees.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Constructing mdp abstractions using data with formal guarantees

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.345476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6a67ff8b-7611-4502-a14a-93d6bd9be3f6 · outbound

This paper cites A compositional dissipativity approach for data-driven safety verification of large-scale dynamical systems.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems A compositional dissipativity approach for data-driven safety verification of large-scale dynamical systems

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.333995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 75d72e4d-9f3b-4050-8481-080d6add5e15 · outbound

This paper cites Efficient data-driven abstraction of monotone systems with disturbances.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Efficient data-driven abstraction of monotone systems with disturbances

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.321125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a037ca9e-2c65-4c55-8efd-6eaffcdfab66 · outbound

This paper cites Calvert, and Luca Laurenti.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Calvert, and Luca Laurenti

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.307419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 59945b34-b075-4fd6-b6e4-f15e7be2178b · outbound

This paper cites Scalable control synthesis for stochastic systems via structural imdp abstractions, 2024.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Scalable control synthesis for stochastic systems via structural imdp abstractions, 2024

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.293926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0fed0301-0f8e-400f-961a-145f4f69857a · outbound

This paper cites What Are the Odds? Improving the foundations of Statistical Model Checking.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems What Are the Odds? Improving the foundations of Statistical Model Checking

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.622737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21471c68-266a-4b2a-a1f0-987a2cf77166 · outbound

This paper cites Mitchell.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Mitchell

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.280979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b06ba27f-2ec5-4cd2-a0f7-29c1e892472b · outbound

This paper cites Formal verification of unknown discrete- and continuous-time systems: A data-driven approach.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Formal verification of unknown discrete- and continuous-time systems: A data-driven approach

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.267392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 84a11b1f-8cf8-48c2-8877-344ede54c0b1 · outbound

This paper cites Two-sided confidence intervals for the single proportion: comparison of seven methods.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Two-sided confidence intervals for the single proportion: comparison of seven methods

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.251631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 27a41135-8689-4f21-9455-a607624aac3d · outbound

This paper cites Robust control of markov decision processes with uncertain transition matrices.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Robust control of markov decision processes with uncertain transition matrices

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.235415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8f93335c-675a-4d35-a025-d60a35166386 · outbound

This paper cites Data-driven abstractions with probabilistic guarantees for linear PETC systems.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-driven abstractions with probabilistic guarantees for linear PETC systems

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.221817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 920fd3e8-aa53-4835-ade9-fd0cf185ff18 · outbound

This paper cites The temporal logic of programs.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems The temporal logic of programs

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.207995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 041c378f-4d44-4dcc-ae43-bb6a7d5465ba · outbound

This paper cites Puterman.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Puterman

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.193851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 29609e0b-801a-4288-8f4f-a0bd3c39886d · outbound

This paper cites Feedback refinement relations for the synthesis of symbolic controllers.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Feedback refinement relations for the synthesis of symbolic controllers

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.179488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a6a97258-c7c8-4640-891c-bb530babf2e2 · outbound

This paper cites Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

Reference 49

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T22:46:05.814294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6540cf8a-7716-4330-b219-272102f1edce · outbound

This paper cites On the exact feasibility of convex scenario programs with discarded constraints.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems On the exact feasibility of convex scenario programs with discarded constraints

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.165456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 22d7ba0d-242b-44c5-841b-536699c5b2b0 · outbound

This paper cites Data-driven verification and synthesis of stochastic systems via barrier certificates.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-driven verification and synthesis of stochastic systems via barrier certificates

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.150747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 205d0ad0-e3cc-4d1f-bb7d-be3791e7acf2 · outbound

This paper cites Measure and Integration.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Measure and Integration

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.137019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 23cfa5ae-a021-41a1-8724-5eb967683f6a · outbound

This paper cites Data-driven abstractions via binary-tree G aussian processes for formal verification.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Data-driven abstractions via binary-tree G aussian processes for formal verification

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.124938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4a1ca8bf-372f-4689-b426-32140927c3c8 · outbound

This paper cites Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.111738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 58b24f90-e451-41a9-b9ef-ce1284a2835c · outbound

This paper cites FAUST \( ^ 2 \) : Formal abstractions of uncountable-state stochastic processes.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems FAUST \( ^ 2 \) : Formal abstractions of uncountable-state stochastic processes

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.096337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f2ac31d7-64dc-4604-9aa2-6bb5da427fe6 · outbound

This paper cites Stipanovic, Inseok Hwang, and Claire J.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Stipanovic, Inseok Hwang, and Claire J

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.082238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a173472b-5817-4bf6-a65a-c5357425cd78 · outbound

This paper cites Bovy, David Parker, and Nils Jansen.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Bovy, David Parker, and Nils Jansen

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.703822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8942e712-729b-4f14-bd30-b54f9918c199 · outbound

This paper cites Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.067771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b4f59a79-65df-4895-b5d2-a64dbfd75701 · outbound

This paper cites Verification and Control of Hybrid Systems - A Symbolic Approach.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Verification and Control of Hybrid Systems - A Symbolic Approach

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.053495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 175d72ba-ffeb-4013-a2a1-f3a5d5eab76c · outbound

This paper cites The cost of using exact confidence intervals for a binomial proportion.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems The cost of using exact confidence intervals for a binomial proportion

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.718397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e839195e-4ae5-4494-90d1-ff2c20cb4e1e · outbound

This paper cites Syscore: Synthesis via stochastic coupling relations.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Syscore: Synthesis via stochastic coupling relations

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.038478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 67c33613-6d73-4c3f-afe8-2af21afb0f30 · outbound

This paper cites Wolff, Ufuk Topcu, and Richard M.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Wolff, Ufuk Topcu, and Richard M

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.023661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f7c1a02c-c8a5-44b8-8f4e-b93e2369040a · outbound

This paper cites Efficient backward reachability using the minkowski difference of constrained zonotopes.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Efficient backward reachability using the minkowski difference of constrained zonotopes

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:06.010313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 469af5f8-9399-4581-9b84-409c53d38dcc · outbound

This paper cites Packard, Murat Arcak, and Peter J.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Packard, Murat Arcak, and Peter J

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:05.996212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d5daf5ce-faac-4e1f-8467-dbc474f96dff · outbound

This paper cites Henzinger, and Krishnendu Chatterjee.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Henzinger, and Krishnendu Chatterjee

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:46:05.983331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

Observation e0efe3d5-f4f0-4e6c-ab37-f89b2b295aba · inbound

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems cites this paper.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:53:53.402712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.