Pith. sign in

Paper Citation Record · LEDGER

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

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.

pith.paper-citation-record.v1
2604.01372 v2

Coverage vector

measured 64 of 64 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-13T21:47:55.704455Z

measured 64 of 64 standing notices

One-hop event checks from named stored sources.

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

64 of 64 outbound references displayed

  • verified exact2
  • verified fuzzy38
  • unresolved23
  • parse uncertain0
  • malformed identifier1
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8a90e0d4-75dc-4149-b3d6-b9db64b34425 · outbound

This paper cites Abate, M.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Abate, M

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.616497Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:340a86941e23b4835f925ec001ecfcd122bc3e491784e2f1689a2cac60afadf1

Observation de5a6e6e-19c7-4317-b769-6a96c8d481da · outbound

This paper cites Abate, M.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Abate, M

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.619841Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:caa551e935f7ffa95f678f831314364da580191055fa9fb0d4154152392299c0

Observation c2f6a87a-cc3c-4509-8cc5-c925c108273d · outbound

This paper cites Alshiekh, R.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Alshiekh, R

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.612953Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:78c4a16f8a6589572433d269346fd2ea1e335b896c840141b4264b807fc7642c

Observation 08477913-3eba-483d-a099-ff327b95fedb · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.608278Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:9e39deeff3e9a64ce6ebd8b0941fd1301da87d01ff74839f4bbd9de1a0db1619

Observation ec026739-48b5-42d9-8d55-f94d9f3ac4db · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.609857Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:10e01dc4311159045e24d681aab047cc5ba02c5b03b43234a6eb2083d558a756

Observation 4488b72e-c0d2-451e-b283-08667ab9ebcb · outbound

This paper cites Badings and A Abate.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Badings and A Abate

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.605087Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:a7d47fd5d3f449b6c4d0f720ac624ae70b2a5aa5e288323a2121b9f2be5edd28

Observation 9c898337-fc8a-42d4-b11e-2803150efe10 · outbound

This paper cites Badings, W.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Badings, W

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.542185Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:f08958b7d5cc7048b34ddfececfb7e20f6f7b76bc635cd8953c0d4250881b57d

Observation a6d293cd-91c9-4144-8fd0-bb857e5372e0 · outbound

This paper cites Badings, L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Badings, L

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.535600Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:6c3f86b32ff6ea6e5ce280cf552437838c84df2c45040daa0b858bf7b3519d67

Observation f763e3a6-2bba-43ae-bc61-ce76612ed958 · outbound

This paper cites Baier and J.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Baier and J

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.537445Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:fdc84908c3eeaf2cccdc51457cb24dbdb130a8c148775360c4968b28acd14cc8

Observation b7fd79d5-7dfc-4115-bba4-021dc106447c · outbound

This paper cites Belta, B.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Belta, B

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.606775Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:ca244805257d6e6f3e7f8f7e9904501bdacddbe8c37192d261a785a7b1b8ed8a

Observation 01aad3dc-9bf4-4bd7-b03e-43986a45ee78 · outbound

This paper cites Bemporad and M.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Bemporad and M

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.531223Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:447074050a61f167d0df07803d918fa3ed3ba3cc6ade4e7c57851f89ecf4945b

Observation cdcc9718-27b7-4fb7-ad25-4078efe10fac · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.529694Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:79f3d5d29c68e4395604f6ff0df7e496e9c352ff774ace4d55dbdfae4219bcc4

Observation d07a0d74-2777-4ade-89d5-0a6d05f0c2d5 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.532956Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:82808608348a2686568c51bd2179232262e7b002625bb8135b3327a7a172ef6c

Observation b735ce26-f81f-4198-bc1b-3109ae088d99 · outbound

This paper cites Cauchi, L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Cauchi, L

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.540563Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:31745dcf13d2d6f753c95c1a31aab1df8a286a90e27bc8dd5594b8f6dd604102

Observation e0427248-5c0c-4df7-8f6d-5f42640aa0da · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.543771Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:62aee1828a18623abf05da4e4d3e71dade6f292aefab974604993532b524f662

Observation cb66461d-2518-48ff-8c0e-380f9b12ce1e · outbound

This paper cites Dawson, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Dawson, S

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.526738Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:8876a49c3417e0520dff397ec15cdb0f7e5238a258def240d6b7dbd28910a31f

Observation 311eeb09-7e15-4d8a-a7a6-d1a6ffd91c9b · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.528234Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:891db9a4b91ce580ab32d193e14b8929798a5261923a04324e0459143d87fcc4

Observation 32540033-4419-417f-af76-4839f55a9e9a · outbound

This paper cites Girard and G.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Girard and G

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.545303Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:3a1a81351debc23260f7f502d5c06c34562cca7e3386a1732c2424d4d99150ae

Observation 0a400dfd-2d9b-4e26-9190-0b0405ffb90e · outbound

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

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems

Reference 19

Resolution
verified exact
arxiv_id, observed 2026-05-13T21:48:18.944932Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:b9e708c099790f00a4b44dbd0665bdb8c53ba2d6b3b69ddf52b626a9697ec05e

Observation 1b47fcc9-9729-45e4-be84-bbab960715ae · outbound

This paper cites Gracia, L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Gracia, L

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.624998Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:8747f179032f5569c284b892f5a8f615fc6b5a7701749bfec4aae06ce07d848b

Observation 1f00a41e-f039-461b-a7c2-9739ad589ec5 · outbound

This paper cites Gurobi Optimizer Reference Manual.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Gurobi Optimizer Reference Manual

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.628370Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:ab5e7e49e45cc740c1ec80f5f0cbf061dc292d321441fef0c93f52b7ae43ae80

Observation 6a26a8e2-4095-4aa5-beac-4699c1593e82 · outbound

This paper cites Haesaert and S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Haesaert and S

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.611409Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:7a81ea410fb7bda60d609b7182e9037b975375c1d767cdafcbe15ae3c463970b

Observation 4885cb1d-fa73-4ad2-812d-d7210a70b3d9 · outbound

This paper cites Haesaert, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Haesaert, S

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.618243Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:d04db2db4bede6c6ec67de084031be5f8180d17f14212a3ab530eef829623fbc

Observation e42852ef-b01c-4b02-b22d-20418b6f0771 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.629964Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:7a9e2658a30fa8b51177c105980784e5b5e096c087e9d71364d9d40267b58c47

Observation d70f7ecf-098c-4e8f-a472-143399c92cb7 · outbound

This paper cites Hensel, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Hensel, S

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.632971Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:2899dd693179196f4e415d8e85ca3b3e3f4cdaa4aa5842bfbff0477440371e0a

Observation db477bf2-9243-4b98-aa29-5a43c7da7d92 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.623428Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:f944fd2dbd48f57215685725898a5ca74fcced221e224da8035989f414f83399

Observation 029569b6-d771-42c3-850d-c781afcc985c · outbound

This paper cites Hewing, K.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Hewing, K

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.631496Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:c9caf8cad8add5bb8c757f3335c354c5bfbc17d8f487e386e73dba1920e95202

Observation fdeacece-3e66-485d-bd6a-7f451c6b70ed · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.581159Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:be05c3bd1fa334352d40ba64b0040877353cb6340afeaf0d18faa403c47df423

Observation 31e4e201-3c79-4641-b19f-d776988cf43d · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.582767Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:ddcf10b9ad1d9f2e91c9bdf562cd1375858830cf74911cacfc95c5f198778386

Observation 1c0e15e6-dbc2-41cd-a05d-a6a5db29c2ee · outbound

This paper cites Jackson, L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Jackson, L

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.584543Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:23abaf09cd677fec8c9365cb03ba5b63e6b6be66c80fb053da1f0fef8158e440

Observation cd160874-e28f-4a72-a35d-0bfa144f19e6 · outbound

This paper cites Jagtap, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Jagtap, S

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.588679Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:331c674ffe5e031d59feead7d7de72fc1cd8aa16524f08615d5b7ebec4bed0b2

Observation 7cc78242-587c-4881-a16f-47015f7b05a2 · outbound

This paper cites Kallenberg.Foundations of Modern Probability.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Kallenberg.Foundations of Modern Probability

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.597030Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:289ac9ef5ff48762e03fb99610ea7e53684009005b25446e0b9cbcb5ba7efd78

Observation e1509265-28c6-48c7-9de2-6098dcd046c0 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.579568Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:7205cf14c9b041c0e08dffb923387b1a7a52867272d7fba0cf012925747526c4

Observation 5ce747d3-7ac4-413e-83ea-7d3c4c20e2b6 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.598659Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:b1eb2da4001f09f2ffbf965c0a05ff648ce982215d37cfff0a9e61c373e289d4

Observation 14247db4-c8e6-4af6-af73-c6d994701b57 · outbound

This paper cites Kwiatkowska, G.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Kwiatkowska, G

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.621889Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:9796bb6934d4ab50aaf3df616fa0a961dc12d6d6af7aac227e7cfce2cdc7a1c5

Observation 8a6ca72b-6195-458d-8bf2-9e1f38f56993 · outbound

This paper cites Lahijanian, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Lahijanian, S

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.564651Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:95d84be93ecbda32cd9c92f7dc33e8fd45bf477553c7ac54816d0bb0d12404d2

Observation 100bc5cf-4f21-4255-88ee-ce86af5a192d · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.560671Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:ccb2f533ed838066b8b5e31914e4931bb5527b82cb69ca7e13ca2c2d4bde9491

Observation 67e4e764-0043-4f8e-b8a3-92208e74ffcb · outbound

This paper cites Lavaei, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Lavaei, S

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.626626Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:bda269a0940747feab6c3e5cbe2a380edddffb92e53e359852472d62f2fcb3db

Observation 75d3231a-72e1-473d-a036-8c2b13b0fa8d · outbound

This paper cites Lavaei, S.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Lavaei, S

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.600216Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:274f385cd8dfaa4d5b58f8081e14e7a9e9b0070ee90717a4b76465ec50bec6c8

Observation 903e266c-1422-4061-8a13-89f9b4207d45 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.594916Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:e352e1a7aab59a7661d13e01935e938204d442ec6c2da8db5c278a3e83b26973

Observation 088b8a5f-04c7-4090-82e1-8a6cd20afb42 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.586385Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:74865336b63dde6041c7d50ae238327a90eadca710100047d9c674d6f6ac2bc1

Observation f6671963-fc4e-4ed9-a2cc-40415164c112 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.592832Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:c447225c00e86fe5ce429c2b1f364ea2309b8eff733ef5de08fc02666530ece4

Observation 4281d654-2490-422f-95ab-fd90e02d7207 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 43

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.601989Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:1c4669b95af0138a6f853fc21bda05821978d89f72802431aa2f372f7dec4856

Observation 444871e4-8666-499d-a311-a516da56c266 · outbound

This paper cites Nazeri, T.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Nazeri, T

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.571023Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:00c453de63c729db4bb4300b4ac4d3af4e884183965ac6d26fd72e466cd7a314

Observation 28a9bb9d-ee30-4b4e-ae08-84360dd034ad · outbound

This paper cites Ni and M.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Ni and M

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.572732Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:223e9d772f6b179ef62c4fd66bea37cf7f3bd11e6ad0af6f5d340e19a5038541

Observation 2cb0154d-45aa-46b6-9e34-b0b6691d0f3e · outbound

This paper cites Nilim and L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Nilim and L

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.567831Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:6e324ef63f038329c0c395a1e69bcc3004680d741eb603d901739d79d4572ad8

Observation 9a1e3188-891c-4123-adb9-2262bc6593bb · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.566231Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:3e5ef609ecbeaed28e1835b454da2f02cfbcc6a282ab9a2cdf258087ec5b732b

Observation 33a768b5-6c2a-47d9-90db-5e9fae2b5dce · outbound

This paper cites Prajna, A.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Prajna, A

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.569358Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:f5d9c8a96fe5172856100fff18f23f9a010044ebb0efa92ea2c998bb6a158abd

Observation 8fa441c6-887c-4f50-89b3-eb8669a91639 · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.574332Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:89107a084403026d92cb4dd86459536ae9fe5f0a55bebe152f35dcebf368187f

Observation 24f5600c-593f-4c67-8fea-9e580da3ce8f · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.576117Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:309a794b0c76ec84d28131c89ce1d2a817009b6f492a94154cef417a77f47d3e

Observation cd46a9d7-2cbb-4baa-870f-ca3b856d833c · outbound

This paper cites Reiter, J.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Reiter, J

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.577817Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:ac246880950ca8b10f183f50eeb5994370c09b7069e3f120683818f1e151b73b

Observation 3ab2c9f1-888b-477b-b6be-73ee83d2e580 · outbound

This paper cites Riccardi, T.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Riccardi, T

Reference 52

Resolution
malformed identifier
doi_truncated, observed 2026-05-13T21:48:18.938997Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:fd726c25a3b8e6cee01c3174d533ee18840802fb967f1f828a8b1d736f32c701

Observation 14af12f1-e449-4d3f-b5a5-73ba431ff8b4 · outbound

This paper cites Riccardi, L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Riccardi, L

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.590786Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:0c003a8abf858e8628e5e8c1a24650dfb91d121feab54ee3ca498590efb31a7b

Observation c602c4c1-4875-4837-a8bd-03cc84a453cd · outbound

This paper cites Scattolini.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Scattolini

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.603552Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:5c159598cc611976f7a203d97519904e4d6dccf462d100854573eb6da5eb55bc

Observation c768546f-d9fd-4492-848d-26beafafe708 · outbound

This paper cites Segala and N.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Segala and N

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.562743Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:2ce3a7d2be6be2971b7617701b57cf5d3f2fbb012fddc58493f35ba63dc78412

Observation 012d3dcc-bbe2-442e-be57-3d5b7cf6ac5f · outbound

This paper cites Siciliano, L.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Siciliano, L

Reference 56

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.555191Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:82dd895f19e5fdb7e8648410c4c3fab7f09aeca069864fdacf2bbba636bcef3d

Observation 03ee2070-374b-4224-8891-b2ac537632ed · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.558589Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:019a2f555bcb63bba956723c28c1660a126bafd3e644e837f31bb4c56de7ca9e

Observation 6b543aac-68b3-456a-9f8f-e344348e28b1 · outbound

This paper cites Suilen, T.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Suilen, T

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.553483Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:cba9603e9ef8b5d844bef192c3ac8e41f19c6b31da160cb8df75e1c2d02617de

Observation 91542f16-6e78-42ff-bf49-74bd913b9ef9 · outbound

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

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Tabuada.Verification and Control of Hybrid Systems: A Symbolic Approach

Reference 59

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.556935Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:0b9f609f2405d3b55c4655a3a35fd3233da99bd0b29f8eaa57334d9c6bacf048

Observation 2da56bd9-ac95-45da-9a9c-979ccd5fb88c · outbound

This paper cites Gymnasium: A Standard Interface for Reinforcement Learning Environments.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Gymnasium: A Standard Interface for Reinforcement Learning Environments

Reference 60

Resolution
verified exact
local_arxiv, observed 2026-05-13T21:48:18.951183Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:dcc362e16062836ca9dbd1d1b6c662a19843a8ce2c2ada653cf831a4d64c86df

Observation 3c1ac85e-1f27-4ec5-bb08-92dad9b1609b · outbound

This paper cites Van Huijgevoort, O.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Van Huijgevoort, O

Reference 61

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.551838Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:c0b0e95da359184b6a8793601ef8f63185ce142c7dc82a62998621cc0cb04615

Observation bba83006-3c4c-4f68-8944-1a1e1166079b · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 62

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.550248Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:e6fbd361efb52a7d47c1e0f70d4b52f8ec2ba9890297e19f0d58273d78fd8670

Observation e8911841-6a4b-445b-92b3-32bdd14c35bf · outbound

This paper cites an unresolved cited work.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Unresolved cited work

Reference 63

Resolution
unresolved
raw_fallback, observed 2026-05-13T21:48:21.546909Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:eb851514e581b8bd77e09c55e8dd404d80041927ceb01539186649be03a325fa

Observation e09932ee-5a48-451e-abf3-33d63d894165 · outbound

This paper cites ˇZikeli´ c, M.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization ˇZikeli´ c, M

Reference 64

Resolution
verified fuzzy
raw_fallback, observed 2026-05-13T21:48:21.548720Z

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.

source=pdf_text observed=2026-05-13T21:47:55.704455Z digest=sha256:566c5e98b26cb31b207a182c2db3c8959d88ce6007f8fe1accd0b455de4af01a

Pith citing papers

No inbound Pith citation observations are available.