Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-13T21:47:55.704455Z
Paper Citation Record · LEDGER
As of 5 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2604.01372.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-13T21:47:55.704455Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+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
64 of 64 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 8a90e0d4-75dc-4149-b3d6-b9db64b34425 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Abate, M
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation de5a6e6e-19c7-4317-b769-6a96c8d481da · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Abate, M
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c2f6a87a-cc3c-4509-8cc5-c925c108273d · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Alshiekh, R
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 08477913-3eba-483d-a099-ff327b95fedb · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ec026739-48b5-42d9-8d55-f94d9f3ac4db · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4488b72e-c0d2-451e-b283-08667ab9ebcb · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Badings and A Abate
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9c898337-fc8a-42d4-b11e-2803150efe10 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Badings, W
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a6d293cd-91c9-4144-8fd0-bb857e5372e0 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Badings, L
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f763e3a6-2bba-43ae-bc61-ce76612ed958 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Baier and J
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b7fd79d5-7dfc-4115-bba4-021dc106447c · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Belta, B
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 01aad3dc-9bf4-4bd7-b03e-43986a45ee78 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Bemporad and M
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cdcc9718-27b7-4fb7-ad25-4078efe10fac · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d07a0d74-2777-4ade-89d5-0a6d05f0c2d5 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b735ce26-f81f-4198-bc1b-3109ae088d99 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Cauchi, L
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e0427248-5c0c-4df7-8f6d-5f42640aa0da · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cb66461d-2518-48ff-8c0e-380f9b12ce1e · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Dawson, S
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 311eeb09-7e15-4d8a-a7a6-d1a6ffd91c9b · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 32540033-4419-417f-af76-4839f55a9e9a · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Girard and G
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0a400dfd-2d9b-4e26-9190-0b0405ffb90e · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1b47fcc9-9729-45e4-be84-bbab960715ae · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Gracia, L
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1f00a41e-f039-461b-a7c2-9739ad589ec5 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Gurobi Optimizer Reference Manual
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6a26a8e2-4095-4aa5-beac-4699c1593e82 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Haesaert and S
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4885cb1d-fa73-4ad2-812d-d7210a70b3d9 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Haesaert, S
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e42852ef-b01c-4b02-b22d-20418b6f0771 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d70f7ecf-098c-4e8f-a472-143399c92cb7 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Hensel, S
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation db477bf2-9243-4b98-aa29-5a43c7da7d92 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 029569b6-d771-42c3-850d-c781afcc985c · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Hewing, K
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fdeacece-3e66-485d-bd6a-7f451c6b70ed · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 31e4e201-3c79-4641-b19f-d776988cf43d · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1c0e15e6-dbc2-41cd-a05d-a6a5db29c2ee · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Jackson, L
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cd160874-e28f-4a72-a35d-0bfa144f19e6 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Jagtap, S
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7cc78242-587c-4881-a16f-47015f7b05a2 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Kallenberg.Foundations of Modern Probability
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e1509265-28c6-48c7-9de2-6098dcd046c0 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5ce747d3-7ac4-413e-83ea-7d3c4c20e2b6 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 14247db4-c8e6-4af6-af73-c6d994701b57 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Kwiatkowska, G
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8a6ca72b-6195-458d-8bf2-9e1f38f56993 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Lahijanian, S
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 100bc5cf-4f21-4255-88ee-ce86af5a192d · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 67e4e764-0043-4f8e-b8a3-92208e74ffcb · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Lavaei, S
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 75d3231a-72e1-473d-a036-8c2b13b0fa8d · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Lavaei, S
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 903e266c-1422-4061-8a13-89f9b4207d45 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 088b8a5f-04c7-4090-82e1-8a6cd20afb42 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f6671963-fc4e-4ed9-a2cc-40415164c112 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4281d654-2490-422f-95ab-fd90e02d7207 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 444871e4-8666-499d-a311-a516da56c266 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Nazeri, T
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 28a9bb9d-ee30-4b4e-ae08-84360dd034ad · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Ni and M
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2cb0154d-45aa-46b6-9e34-b0b6691d0f3e · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Nilim and L
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9a1e3188-891c-4123-adb9-2262bc6593bb · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 33a768b5-6c2a-47d9-90db-5e9fae2b5dce · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Prajna, A
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8fa441c6-887c-4f50-89b3-eb8669a91639 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 24f5600c-593f-4c67-8fea-9e580da3ce8f · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cd46a9d7-2cbb-4baa-870f-ca3b856d833c · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Reiter, J
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3ab2c9f1-888b-477b-b6be-73ee83d2e580 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Riccardi, T
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 14af12f1-e449-4d3f-b5a5-73ba431ff8b4 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Riccardi, L
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c602c4c1-4875-4837-a8bd-03cc84a453cd · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Scattolini
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c768546f-d9fd-4492-848d-26beafafe708 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Segala and N
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 012d3dcc-bbe2-442e-be57-3d5b7cf6ac5f · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Siciliano, L
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 03ee2070-374b-4224-8891-b2ac537632ed · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6b543aac-68b3-456a-9f8f-e344348e28b1 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Suilen, T
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 91542f16-6e78-42ff-bf49-74bd913b9ef9 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Tabuada.Verification and Control of Hybrid Systems: A Symbolic Approach
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2da56bd9-ac95-45da-9a9c-979ccd5fb88c · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Gymnasium: A Standard Interface for Reinforcement Learning Environments
Reference 60
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3c1ac85e-1f27-4ec5-bb08-92dad9b1609b · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Van Huijgevoort, O
Reference 61
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation bba83006-3c4c-4f68-8944-1a1e1166079b · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 62
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e8911841-6a4b-445b-92b3-32bdd14c35bf · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work
Reference 63
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e09932ee-5a48-451e-abf3-33d63d894165 · outbound
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization ˇZikeli´ c, M
Reference 64
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
No inbound Pith citation observations are available.